How to access SD card on ARM board
Chao-Jui Chang <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <CAM=iH4q0fMxd-NSTJCLY4-M2bM7F18sPkS8Ap_dqjeXZtum3pg@mail.gmail.com> |
Hi hackers, 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. Is this the correct way to achieve my goal? Or I need to make the driver as part of l4re ? Thanks, Chao-Jui _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers