L4Linux + Fiasco-ux

[Daniel Vandersee]

Andreas Niederl wrote:
> You could try the option all_sects_writable in your loader script for 
> L4Linux. This works for me with Qemu.
> 

Thank you, this works so far. Now L4Linux begins to start, but something
different is still going wrong:

> Linux version 2.6.17-l4 (user at ubuntu) (gcc-Version 3.3.6 (Ubuntu 1:3.3.6-8ubuntu1)) #5 Thu Aug 10 01:26:40 CEST 2006
>  dm_phys: 0000000000800000 - 0000000004800000 [65536 KiB] (usable)
> 64MB memory available.
> INITRD: 04800000 - 05800000
> Allocating PCI resources starting at 10000000 (gap: 04800000:fb800000)
> Built 1 zonelists
> Kernel command line: mem=64M load_ramdisk=1 ramdisk_size=16384 root=1:0 l4env_rd=/home/user/ext/l4env_060809/DROPS/bin/x86_586/l4v2/rd1 panicblink=0 lang=de video=l4fb:640x400 at 16,xpos:10,ypos:10,refreshsleep:150,title:DamnSmallLinux console=ttyLv0
> Initializing CPU#0
> l4lx_irq_init: l4lx_irq_max = 18
> PID hash table entries: 512 (order: 9, 2048 bytes)
> Using l4rtc for high-res timesource
> l4lx_irq_timer_startup(0)
> timer_irq_thread: Starting timer IRQ thread.
> Console: colour dummy device 80x25
> l4ser_init_ports
> l4ser: vkey_irq not set - input disabled!
> Dentry cache hash table entries: 16384 (order: 4, 65536 bytes)
> Inode-cache hash table entries: 8192 (order: 3, 32768 bytes)
> Memory: 64784k/73728k available (1553k kernel code, 692k reserved, 519k data, 128k init, 0k highmem)
> Calibrating delay using timer specific routine.. 2769.15 BogoMIPS (lpj=13845760)
> Mount-cache hash table entries: 512
> CPU: L1 I cache: 16K, L1 D cache: 16K
> CPU: L2 cache: 256K
> CPU: Intel(R) Celeron(TM) CPU                1133MHz stepping 01
> SMP alternatives: switching to UP code
> checking if image is initramfs...it isn't (bad gzip magic numbers); looks like an initrd
> INITRD: Freeing memory.
> NET: Registered protocol family 16
> Setting up standard PCI resources
> NET: Registered protocol family 2
> l4lx    | l4lx_thread_create: Created thread 0f.06 (Idler)
> IP route cache hash table entries: 1024 (order: 0, 4096 bytes)
> TCP established hash table entries: 4096 (order: 2, 16384 bytes)
> TCP bind hash table entries: 2048 (order: 1, 8192 bytes)
> TCP: Hash tables configured (established 4096 bind 2048)
> TCP reno registered
> Initializing Cryptographic API
> io scheduler noop registered
> io scheduler anticipatory registered (default)
> io scheduler deadline registered
> io scheduler cfq registered
> l4lx    | Starting L4FB via CON
> con     | vc_loop(): vc[2] running as C.05
> l4lx    | l4lx_thread_create: Created thread 0f.07 (L4ConInput)
> input: l4input key as /class/input/input0
> input: l4input mouse as /class/input/input1
> con     | vc_open_out(): vc[2] 640x480 at 16, gmode:0x15
> l4lx    | l4fbcon: 640x462 2bypp, size: 593920
> l4lx    | l4lx_thread_create: Created thread 0f.08 (CON refresher)
> l4fb: Con framebuffer at 0x04800000, size 580k
> l4fb: mode is 640x462x16, linelength=1280, pages=0
> l4fb: directcolor: size=0:5:6:5, shift=0:11:5:0
> Console: switching to colour frame buffer device 80x28
> l4fb0: l4fb L4 frame buffer device (refresh: 150ms)
> L4 serial driver
> l4ser_init_ports
> l4ser: vkey_irq not set - input disabled!
> ttyLv0 at MMIO 0x1 (irq = 0) is a L4
> RAMDISK driver initialized: 16 RAM disks of 16384K size 1024 blocksize
> Trap: 13: 0000 [#1]
> Modules linked in:
> CPU:    0
> EIP:    0000:[<00514c7a>]    Not tainted VLI
> EFLAGS: 00210206   (2.6.17-l4 #5)
> EIP is at i8042_flush+0x1a/0xa0
> eax: 00808000   ebx: 03dc4408   ecx: 00080000   edx: 00000064
> esi: 00000000   edi: 00000001   ebp: 00809e68   esp: 00809e5c
> ds: 1000   es: 4000   ss: 0000
> Process swapper (pid: 1, threadinfo=00808000 task=00805bb0)
> Stack: 03dc4408 00000000 005dc9d4 00809e74 00515539 03dc4408 00809e88 0061bd41
>        03dc4408 00000000 005dc9d4 00809e94 005115c3 03dc4400 00809eac 0050fa14
>        03dc4408 00000000 00809ecc 0050fa60 00809ebc 0050fa70 005dc9d4 03dc4408
> Call Trace:
>  <0040a3ec> show_stack_log_lvl+0x7c/0xa0  <0040a556> show_registers+0xf6/0x160
>  <0040a753> die+0xe3/0x1d0  <00000000> _start+0xffc00000/0x50
>  <00515539> i8042_controller_init+0x9/0x100  <0061bd41> i8042_probe+0x21/0x100
>  <005115c3> platform_drv_probe+0x13/0x20  <0050fa14> driver_probe_device+0x54/0xa0
>  <0050fa70> __device_attach+0x10/0x20  <0050f178> bus_for_each_drv+0x58/0x70
>  <0050fad4> device_attach+0x54/0x60  <0050f295> bus_add_device+0x25/0x90
>  <0050e3ba> device_add+0xda/0x130  <0050e423> device_register+0x13/0x20
>  <005113f5> platform_device_add+0xa5/0x160  <0061be87> i8042_init+0x67/0x90
>  <0060a7d1> do_initcalls+0x31/0x100  <0060a8bc> do_basic_setup+0x1c/0x20
>  <00400220> init+0x30/0x140  <004073f9> kernel_thread_start+0x29/0x30
>  <004073ce> ret_kernel_thread_start+0x6/0x8
> Code: fc c9 c3 8d b4 26 00 00 00 00 8d bc 27 00 00 00 00 55 89 e5 57 56 31 f6 53 e8 f3 e8 ee ff 89 c7 e8 3c e6 ee ff 8b 15 20 c9 5d 00 <ec> a8 01 88 c3 74 60 68 de 46 03 00 e8 a5 36 fd ff 8b 15 24 c9
> EIP: [<00514c7a>] i8042_flush+0x1a/0xa0 SS:ESP 007b:00809e54
>  <0>Kernel panic - not syncing: Attempted to kill init!
>  panic: going to sleep forever, bye