Launch of L4Linux

[Maximin Coste]

2013/7/22 Adam Lackorzynski <adam at os.inf.tu-dresden.de>:
> Principally you can take whatever ramdisk you like to use.
> Concerning the provided ramdisk, it contains a busybox and also a proper
> /bin/sh link/binary. I'm not sure what's the difference to your previous
> run. Maybe you could copy the relevant output here to have a look.

Here is my output:

l4linux | RAMDISK: ext2 filesystem found at block 0
l4linux | RAMDISK: Loading 16384KiB [1 disk] into ram disk... done.
l4linux | VFS: Mounted root (ext2 filesystem) readonly on device 1:0.
l4linux | Freeing init memory: 112K
l4linux | request_module: runaway loop modprobe binfmt-464c
l4linux | Failed to execute /bin/sh.  Attempting defaults...
l4linux | request_module: runaway loop modprobe binfmt-464c
l4linux | request_module: runaway loop modprobe binfmt-464c
l4linux | Kernel panic - not syncing: No init found.  Try passing
init= option to kernel. See Linux Documentation/init.txt for guidance.
l4linux | [<0100b3f0>] (unwind_backtrace+0x0/0xf0) from [<011d38ec>]
(panic+0x7c/0x1c4)
l4linux | [<011d38ec>] (panic+0x7c/0x1c4) from [<011d1d98>]
(kernel_init+0xc0/0xe8)
l4linux | [<011d1d98>] (kernel_init+0xc0/0xe8) from [<010067d4>]
(ret_from_fork+0x14/0x20)
l4linux | [<010067d4>] (ret_from_fork+0x14/0x20) from [<00000000>] (  (null))
l4linux | panic: going to sleep forever, bye
l4linux | panic: going to sleep forever, bye
io      | Dev_factory: register factory for N2Hw6DeviceE
etc.

-- 
Maximin COSTE-LEENHARDT