Hi hackers,<div><br></div><div>I want to use SD card as root file system for L4Linux.</div><div><br></div><div>Base on my understand, we can use IO assignment in libio and </div><div>let L4Linux kernel to access the devices directly.</div>

<div>If this is correct, then next we need to choose correct driver in L4Linux&#39;s config menu.</div><div><br></div><div>However, some device is platform specific, for example, &quot;SDHCI support on Samsung S3C SoC&quot; requires PLAT_SAMSUNG.</div>

<div>This option is not available in L4Linux config menu.</div><div>I have tried to modify the dependence in kernel&#39;s Kconfig, but it results in lots of compiler error, such as missing header files.</div><div><br></div>

<div>Is this the correct way to achieve my goal? Or I need to make the driver as part of l4re ?</div><div><br></div><div><div><div>Thanks,</div><div>Chao-Jui</div></div>
</div>