Hi,
I am currently trying to mount a SD card partition as L4Linux rootfs. I am using a beagleboard. The first flash card partition (fat32) is mounted by U-boot and contains the L4Linux kernel . The second partition (ext3) contains the rootfs. I have compiled L4Linux to support SD card et Ext3 filesystem and configured L4 to give to L4Linux access to the MMC device through a virtual bus. But the SD card partitions are not available in L4Linux. Do I forget something ? Regards,
Pierre Larus
------------------------------------------------------------------- entry l4LinuxUcos kernel fiasco -serial_esc roottask moe rom/l4lx.cfg module l4re module ned module io module l4lx.cfg module vmlinuz.arm module beagle.devs module beagle.io ------------------------------------------------------------------- hw-root { # MultiMediaCard 1 2 3 mmc => new Device() { .hid = "OMAP_HSMMC"; new-res Mmio(0x4809c000 .. 0x4809dfff); new-res Mmio(0x480b4000 .. 0x480b5fff); new-res Mmio(0x480ad000 .. 0x480aefff); } }
mmiodev => new System_bus() { mmc => wrap(hw-root.mmc); } ------------------------------------------------------------------- local lxname = "vmlinuz.arm"; local DeviceFile = "beagle.devs" local IOFile = "beagle.io" local loader = L4.default_loader;
local io_bus = loader:new_channel();
loader:start({ caps = { mmiodev = io_bus:svr(), icu = L4.Env.icu, sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0), }, }, "rom/io -vv rom/" .. DeviceFile .. " rom/" .. IOFile);
loader:start( { caps = { vbus = io_bus, icu = L4.Env.icu, log = L4.Env.log:m("rws"), }, l4re_dbg = L4.Dbg.Warn, log = { "l4linux", "yellow" }, }, "rom/" .. lxname .. " root=/dev/mmcblk0p2 rw rootfstype=ext3 init=/sbin/init console=ttyLv0"); --------------------------------------------------------------------------------------- ... L4 serial driver ttyLv0 at MMIO 0x1 (irq = 210) is a L4 L4 shared mem serial driver l4cdds: No name given, not starting. brd: module loaded l4bdds: No name given, not starting. mousedev: PS/2 mouse device common for all mice sdhci: Secure Digital Host Controller Interface driver sdhci: Copyright(c) Pierre Ossman TCP cubic registered NET: Registered protocol family 17 VFS: Cannot open root device "mmcblk0p2" or unknown-block(0,0) Please append a correct "root=" boot option; here are the available partitions: Kernel panic - not syncing: VFS: Unable to mount root fs on unknown-block(0,0) [<00129d68>] (unwind_backtrace+0x0/0xf0) from [<00335858>] (panic+0x58/0x178) [<00335858>] (panic+0x58/0x178) from [<00100aa0>] (mount_block_root+0x1d4/0x294) [<00100aa0>] (mount_block_root+0x1d4/0x294) from [<00100e24>] (prepare_namespace +0x164/0x1bc) [<00100e24>] (prepare_namespace+0x164/0x1bc) from [<00100794>] (kernel_init+0xe4 /0x118) [<00100794>] (kernel_init+0xe4/0x118) from [<00122410>] (kernel_thread_exit+0x0/ 0x8) panic: going to sleep forever, bye l4linux | panic: going to sleep forever, bye