Re: How to access SD card on ARM board

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