How to access SD card on ARM board
adam at os.inf.tu-dresden.de
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 os.inf.tu-dresden.de
More information about the l4-hackers