How to access SD card on ARM board

Adam Lackorzynski adam at
Mon Apr 8 00:21:25 CEST 2013

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 at

More information about the l4-hackers mailing list