How to access SD card on ARM board

[Adam Lackorzynski]

On Fri Apr 05, 2013 at 19:50:04 +0800, Chao-Jui Chang wrote:
> I want to use SD card as root file system for L4Linux.
> 
> Base on my understand, we can use IO assignment in libio and
> let L4Linux kernel to access the devices directly.
> If this is correct, then next we need to choose correct driver in L4Linux's
> config menu.
> 
> However, some device is platform specific, for example, "SDHCI support on
> Samsung S3C SoC" requires PLAT_SAMSUNG.
> This option is not available in L4Linux config menu.
> I have tried to modify the dependence in kernel's Kconfig, but it results
> in lots of compiler error, such as missing header files.

I think you need to adapt the config to make it work in L4Linux setup
and then fix up the header files etc. to make it compile.





Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/