Mount SD card partition as rootfs

Pierre Larus pierre.larus at
Wed Jul 4 16:21:40 CEST 2012


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
But the SD card partitions are not available in L4Linux. Do I forget
something ?

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
    # 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 = ""
local loader = L4.default_loader;

local io_bus = loader:new_channel();

        caps = {
             mmiodev = io_bus:svr(),
             icu =,
             sigma0 = L4.cast(L4.Proto.Factory,
         "rom/io -vv rom/" .. DeviceFile .. " rom/" .. IOFile);

  { caps = {
      vbus = io_bus,
      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
Kernel panic - not syncing: VFS: Unable to mount root fs on
[<00129d68>] (unwind_backtrace+0x0/0xf0) from [<00335858>]
[<00335858>] (panic+0x58/0x178) from [<00100aa0>]
[<00100aa0>] (mount_block_root+0x1d4/0x294) from [<00100e24>]
[<00100e24>] (prepare_namespace+0x164/0x1bc) from [<00100794>]
[<00100794>] (kernel_init+0xe4/0x118) from [<00122410>]
panic: going to sleep forever, bye
l4linux | panic: going to sleep forever, bye
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list