Re: How to access SD card on ARM board
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/