I'm interested in mini6410 but I need to know if the linux kernel provided with the board is already configured with GPIO and ADC enabled. Why the current support for this board in terms of kernels compilers distribution etc is not the same as for mini2440? I mean I expect to have a download page similar to the mini2440 one but dedicated for mini6410.
mini6410 gpio
No sure about kenrel which comes with board but in mainline kernel there is support fot gpio and also adc (check kernel sources):arch/arm/mach-s3c64xx/mach-mini6410.c