l4linux boot failed

Hi l4Hackers,

I want to run the l4linux given in l4re-snapshot-2014092821. So, I built the fiasco and the l4re. I created an iso image with grub2 and the modules given in example (entry l4linux) as test:

make grub2iso E=L4linux MODULES_LIST=$cwd/l4/conf/modules.list MODULE_SEARCH_PATH=$cwd/kernel/fiasco/mybuild qemu-system-i386 -m 512M -cdrom l4linux.iso -serial file:$cwd/log

I enabled needed options such as the VPCI bus and followed the instructions given in mails approaching my problem (http://os.inf.tu-dresden.de/pipermail/l4-hackers/2013/005938.html and http://os.inf.tu-dresden.de/pipermail/l4-hackers/2011/004861.html ). I can launch Linux but the boot crashes.

I also tried with VBUS and modaddr 0x02000000 with the same result. So I put the logs in a file. I tried unsuccessfully to see my mistake.

In addition, are the last warnings a problem?

My configuration:

I run a Kubuntu in a Vm: Distributor ID: Ubuntu Description: Ubuntu 14.04.1 LTS Release: 14.04 it's a x86-32bit

I have: gcc (Ubuntu 4.8.2-19ubuntu1) 4.8.2 I wanted to compile for i386.

I give to you the log file, the module list, and the l4lx-gfx.cfg used in modules.

Thanks in advance for your help,

Nicolas

################################### log #########################################

L4 Bootstrapper

Build: #2 mardi 27 janvier 2015, 15:47:44 (UTC+0100), x86-32, 4.8.2

RAM: 0000000000000000 - 000000000009fbff: 639kB

RAM: 0000000000100000 - 000000001fffdfff: 523256kB

Total RAM: 511MB

Scanning fiasco -serial_esc

Scanning sigma0

Scanning moe rom/l4lx-gfx.cfg

need 1244 bytes to copy MBI

reserved 1244 bytes at 0x2000

Moving up to 13 modules behind 1100000

moving module 12 { 22a1000-25a0fff } -> { 318c000-348bfff } [3145728]

moving module 11 { 1dc0000-22a0ccc } -> { 2cab000-318bccc } [5115085]

moving module 08 { 195d000-1dbf07b } -> { 2848000-2caa07b } [4595836]

moving module 07 { 17d4000-195cea8 } -> { 26bf000-2847ea8 } [1609385]

moving module 06 { 8c3000-17d30c3 } -> { 17ae000-26be0c3 } [15794372]

moving module 04 { 66c000-8c2741 } -> { 1557000-17ad741 } [2451266]

moving module 03 { 532000-66b48c } -> { 141d000-155648c } [1283213]

moving module 02 { 2e0000-531e7b } -> { 11cb000-141ce7b } [2432636]

moving module 10 { 214000-214226 } -> { 11ca000-11ca226 } [551]

moving module 09 { 213000-21323e } -> { 11c9000-11c923e } [575]

moving module 05 { 212000-21256a } -> { 11c8000-11c856a } [1387]

moving module 01 { 1bc000-211dca } -> { 1172000-11c7dca } [351691]

moving module 00 { 14a000-1bb4f7 } -> { 1100000-11714f7 } [464120]

Loading fiasco

Loading sigma0

Loading moe

find kernel info page...

found kernel info page at 0x400000

Regions of list 'regions'

[ 0, fff] { 1000} Arch BIOS

[ 1000, 1fff] { 1000} Kern fiasco

[ 2000, 24db] { 4dc} Root mbi_rt

[ 9fc00, 9ffff] { 400} Arch BIOS

[ f0000, fffff] { 10000} Arch BIOS

[ 100000, 10b193] { b194} Sigma0 sigma0

[ 140000, 193363] { 53364} Root moe

[ 2d0400, 2df43f] { f040} Boot bootstrap

[ 300000, 38ffff] { 90000} Kern fiasco

[ 400000, 475fff] { 76000} Kern fiasco

[ 11c8000, 11cafff] { 3000} Root Module

[ 141d000, 348bfff] { 206f000} Root Module

[ 1fffe000, 1fffffff] { 2000} Arch BIOS

[ fffc0000, ffffffff] { 40000} Arch BIOS

API Version: (87) experimental

Sigma0 config ip:0010021c sp:00000000

Roottask config ip:001401f6 sp:00000000

Starting kernel fiasco at 00300854

[1;32mWelcome to Fiasco.OC (ia32)!

[0;32mL4/Fiasco.OC ia32 microkernel (C) 1998-2013 TU Dresden

Rev: unknown compiled with gcc 4.8.2 for Intel Pentium Pro []

Build: #12 Tue Jan 27 15:29:54 CET 2015

[0m

[31mPerformance-critical config option(s) detected:

CONFIG_NDEBUG is off

[m

Superpages: yes

Kmem:: cpu page at 1fff8000 (4096Bytes)

ACPI-Init

ACPI: RSDP[0xf09e0] r00 OEM:BOCHS.

ACPI: RSDT[0x203ffbc1] r01 OEM:BOCHS. OEMTID:BXPCRSDT

ACPI: FACP[0x203ff1c0] r01 OEM:BOCHS. OEMTID:BXPCFACP

ACPI: SSDT[0x203ff234] r01 OEM:BOCHS. OEMTID:BXPCSSDT

ACPI: APIC[0x203ffb11] r01 OEM:BOCHS. OEMTID:BXPCAPIC

ACPI: HPET[0x203ffb89] r01 OEM:BOCHS. OEMTID:BXPCHPET

IO-APIC: MADT = 0x203ffb11

IO-APIC[ 0]: struct: 0x203ffb45 adr=fec00000

IO-APIC[ 0]: pins 24

PIN[ 0m]: vector=20, del=0, dm=physical, dest=0 (high, edge)

PIN[ 1m]: vector=21, del=0, dm=physical, dest=0 (high, edge)

PIN[ 2m]: vector=22, del=0, dm=physical, dest=0 (high, edge)

PIN[ 3m]: vector=23, del=0, dm=physical, dest=0 (high, edge)

PIN[ 4m]: vector=24, del=0, dm=physical, dest=0 (high, edge)

PIN[ 5m]: vector=25, del=0, dm=physical, dest=0 (high, edge)

PIN[ 6m]: vector=26, del=0, dm=physical, dest=0 (high, edge)

PIN[ 7m]: vector=27, del=0, dm=physical, dest=0 (high, edge)

PIN[ 8m]: vector=28, del=0, dm=physical, dest=0 (high, edge)

PIN[ 9m]: vector=29, del=0, dm=physical, dest=0 (high, edge)

PIN[10m]: vector=2a, del=0, dm=physical, dest=0 (high, edge)

PIN[11m]: vector=2b, del=0, dm=physical, dest=0 (high, edge)

PIN[12m]: vector=2c, del=0, dm=physical, dest=0 (high, edge)

PIN[13m]: vector=2d, del=0, dm=physical, dest=0 (high, edge)

PIN[14m]: vector=2e, del=0, dm=physical, dest=0 (high, edge)

PIN[15m]: vector=2f, del=0, dm=physical, dest=0 (high, edge)

PIN[16m]: vector=30, del=0, dm=physical, dest=0 (high, edge)

PIN[17m]: vector=31, del=0, dm=physical, dest=0 (high, edge)

PIN[18m]: vector=32, del=0, dm=physical, dest=0 (high, edge)

PIN[19m]: vector=33, del=0, dm=physical, dest=0 (high, edge)

PIN[20m]: vector=34, del=0, dm=physical, dest=0 (high, edge)

PIN[21m]: vector=35, del=0, dm=physical, dest=0 (high, edge)

PIN[22m]: vector=36, del=0, dm=physical, dest=0 (high, edge)

PIN[23m]: vector=37, del=0, dm=physical, dest=0 (high, edge)

IO-APIC: dual 8259: yes

IO-APIC: ovr[ 0] 00 -> 2 0

IO-APIC: ovr[ 1] 05 -> 5 d

IO-APIC: ovr[ 2] 09 -> 9 d

IO-APIC: ovr[ 3] 0a -> a d

IO-APIC: ovr[ 4] 0b -> b d

Allocate cpu_mem @ 0xfeffa400

FPU0: SSE

Local APIC[00]: version=11 max_lvt=5

APIC ESR value before/after enabling: 00000000/00000000

Using the Local APIC timer on vector 90 (Periodic Mode) for scheduling

ACPI: FACS phys=1fffe000 virt=0x203fe000

ACPI: HW sig=0

SERIAL ESC: allocated IRQ 4 for serial uart

Absolute KIP Syscalls using: Sysenter

Enable MSI support: chained IRQ mgr @ 0xfeffa150

SERIAL ESC: allocated IRQ 4 for serial uart

Not using serial hack in slow timer handler.

CPU[0]: GenuineIntel (6:6:3:0)[00000663] Model: QEMU Virtual CPU version 2.0.0 at 3392MHz

32 KB L1 I Cache (8-way associative, 64 bytes per line)

32 KB L1 D Cache (8-way associative, 64 bytes per line)

2048 KB L2 U Cache (8-way associative, 64 bytes per line)

Freeing init code/data: 24576 bytes (6 pages)

Calibrating timer loop... done.

MDB: use page size: 22

MDB: use page size: 12

SIGMA0: Hello!

KIP @ 400000

Found Fiasco: KIP syscalls: yes

allocated 4KB for maintenance structures

SIGMA0: Dump of all resource maps

RAM:------------------------

[4:2000;2fff]

[0:3000;9efff]

[0:10c000;13ffff]

[4:140000;193fff]

[0:194000;3fffff]

[0:470000;11c7fff]

[4:11c8000;11cafff]

[0:11cb000;141cfff]

[4:141d000;348bfff]

[0:348c000;1d70ffff]

IOMEM:----------------------

[0:0;fff]

[0:9f000;fffff]

[0:1fffe000;febfffff]

[0:fec01000;fedfffff]

[0:fee01000;ffffffff]

IO PORTS--------------------------

[0:0;fffffff]

MOE: Hello world

MOE: found 447912 KByte free memory

MOE: found RAM from 2000 to 1d710000

MOE: allocated 471 KByte for the page array @0x3000

MOE: virtual user address space [0-bfffffff]

MOE: rom name space cap -> [C:501000]

BOOTFS: [141d000-155648d] [C:503000] l4re

BOOTFS: [1557000-17ad742] [C:504000] ned

BOOTFS: [11c8000-11c856b] [C:505000] l4lx-gfx.cfg

BOOTFS: [17ae000-26be0c4] [C:506000] io

BOOTFS: [26bf000-2847ea9] [C:507000] fb-drv

BOOTFS: [2848000-2caa07c] [C:508000] mag

BOOTFS: [11c9000-11c923f] [C:509000] x86-legacy.devs

BOOTFS: [11ca000-11ca227] [C:50a000] l4lx-x86.io

BOOTFS: [2cab000-318bccd] [C:50b000] vmlinuz

BOOTFS: [318c000-348c000] [C:50c000] ramdisk-x86.rd

No fpage received

MOE: cmdline: moe rom/l4lx-gfx.cfg

MOE: Starting: rom/ned rom/l4lx-gfx.cfg

MOE: loading 'rom/ned'

Ned says: Hi World!

Ned: loading file: 'rom/l4lx-gfx.cfg'

[37mio | Io service[0m

[37mio | Find root Pointer[0m

[37mio | Find root Pointer: f09e0[0m

[37mio | ACPI: RSDP 0xf09e0 00014 (v00 BOCHS )[0m

[37mio | ACPI: RSDT 0x1ffffbc1 00034 (v01 BOCHS BXPCRSDT 00000001 BXPC 00000001)[0m

[37mio | ACPI: FACP 0x1ffff1c0 00074 (v01 BOCHS BXPCFACP 00000001 BXPC 00000001)[0m

[37mio | ACPI: DSDT 0x1fffe040 01180 (v01 BOCHS BXPCDSDT 00000001 BXPC 00000001)[0m

[37mio | ACPI: FACS 0x1fffe000 00040[0m

[37mio | ACPI: SSDT 0x1ffff234 008DD (v01 BOCHS BXPCSSDT 00000001 BXPC 00000001)[0m

[37mio | ACPI: APIC 0x1ffffb11 00078 (v01 BOCHS BXPCAPIC 00000001 BXPC 00000001)[0m

[37mio | ACPI: HPET 0x1ffffb89 00038 (v01 BOCHS BXPCHPET 00000001 BXPC 00000001)[0m

[37mio | Parsing all Control Methods:[0m

[37mio | Table [[0m[37mDSDT](id 0001) - 144 Objects with 18 Devices 52 Methods 8 Regions[0m

[37mio | Parsing all Control Methods:[0m

[37mio | Table [[0m[37mSSDT](id 0002) - 155 Objects with 32 Devices 42 Methods 1 Regions[0m

[37mio | tbxfload-0274 [02] TbLoadNamespace : ACPI Tables successfully acquired[0m

[37mio | evxfevnt-0175 [02] Enable : Transition to ACPI mode successful[0m

[37mio | evgpeblk-0523 [04] EvCreateGpeBlock : GPE 00 to 0F [_GPE] 2 regs on int 0x9[0m

[37mio | Completing Region/Field/Buffer/Package initialization:.....................................[0m

[37mio | Initialized [0m[37m9/9 Regions 2/2 Fields 21/21 Buffers 5/5 Packages (308 nodes)[0m

[37mio | Initializing Device/Processor/Thermal objects by executing _INI methods:[0m

[37mio | Executed [0m[37m0 _INI methods requiring 1 _STA executions (examined 53 objects)[0m

[37mio | ACPICA-Version:20121018, System in ACPI MODE, 32bit timer[0m

[37mio | evgpeblk-0615 [03] EvInitializeGpeBlock : Enabled 16 GPEs in this block[0m

[37mio | IRQ [00000000000000-00000000000000 1] none (32bit) (align=0 flags=40201)[0m

[37mio | IRQ [00000000000000-00000000000000 1] none (32bit) (align=0 flags=40201)[0m

[37mio | rom/l4lx-x86.io[0m[37m:[0m[37m17[0m[37m.[0m[37m28[0m[37m-[0m[37m36[0m[37 m: warning: could not find '[0m[37mPNP0100[0m[37m'[0m[37m[0m

[37mio | Ready. Waiting for request.[0m

[37mmag | Hello from MAG[0m

[37mfb-drv | Trying execution of ``set VBE mode'' using x86emu[0m

[37mfb-drv | Found VESA BIOS version 3.0[0m

[37mfb-drv | OEM [0m[37mSeaBIOS VBE(C) 2011[0m

[37mfb-drv | VBE mode 0x117 successfully set.[0m

[37mfb-drv | Framebuffer memory: phys: fc000000 - fc400000[0m

[37mfb-drv | virt: 400000 - 800000[0m

[37mfb-drv | Starting server loop[0m

[37mmag | mapped frame buffer at 0x400000[0m

[37mmag | View::Info:[0m

[37mmag | flags: 0[0m

[37mmag | size: 1024x768 pos: 0, 0[0m

[37mmag | bytes_per_line: 2048[0m

[37mmag | buffer_offset: 0[0m

[37mmag | RGBA(2): 5(11):6(5):5(0):0(0)[0m

[37mmag | memory 400000-800000[0m

[37mmag | Plugin: Mag_client service started[0m

[37mmag | Plugin: Frame-buffer service started[0m

[37mmag | L4INPUT native mode activated[0m

[37mmag | L4INPUT: !!! W A R N I N G !!![0m

[37mmag | L4INPUT: Please, do not use Fiasco's "-esc" with L4INPUT.[0m

[37mmag | L4INPUT: !!! W A R N I N G !!![0m[37m[0m

[37mmag | serio: i8042 AUX port at 0x60,0x64 irq 12[0m

[37mmag | serio: i8042 KBD port at 0x60,0x64 irq 1[0m

[37mmag | input: ImExPS/2 Generic Explorer Mouse on isa0060/serio1[0m

[37mmag | input: AT Translated Set 2 keyboard on isa0060/serio0[0m

[37mmag | connect "ImExPS/2 Generic Explorer Mouse", isa0060/serio1/input0[0m

[37mmag | connect "AT Translated Set 2 keyboard", isa0060/serio0/input0[0m

[33ml4linux | PH 0 (t: 1) offs=00001000 vaddr=00400000 vend=007d0000[0m

[33ml4linux | phys=[0m[33m00400000 ephys=007d0000[0m

[33ml4linux | f_sz=[0m[33m003d0000 memsz=003d0000 flgs=r-x[0m

[33ml4linux | PH 1 (t: 1) offs=003d1000 vaddr=007d0000 vend=008e3000[0m

[33ml4linux | phys=[0m[33m007d0000 ephys=008e3000[0m

[33ml4linux | f_sz=[0m[33m00063316 memsz=00113000 flgs=rw-[0m

[33ml4linux | PH 2 (t: 4) offs=002eb18c vaddr=006ea18c vend=006ea1b0[0m

[33ml4linux | phys=[0m[33m006ea18c ephys=006ea1b0[0m

[33ml4linux | f_sz=[0m[33m00000024 memsz=00000024 flgs=---[0m

[33ml4linux | Starting binary at 0x400000, argc=6 argv=0xafff4f90 *argv=0xb1007ff4 argv0=rom/vmlinuz[0m

[33ml4linux | External resolver is at 0xa80006f9[0m

[33ml4linux | [34;1m======> L4Linux starting... <========[0m[0m

[33ml4linux | Linux version 3.16.0-l4 (novasys@ubuntu) (gcc version 4.8.2 (Ubuntu 4.8.2-19ubuntu1) ) #54 Fri Jan 30 10:35:02 CET 2015[0m

[33ml4linux | Binary name: rom/vmlinuz[0m

[33ml4linux | Linux kernel command line (5 args): mem=64M console=tty0 l4x_rd=rom/ramdisk-x86.rd root=1:0 ramdisk_size=4000[0m

[33ml4linux | CPU mapping (l:p)[1]: 0:0[0m

[33ml4linux | Image: 00400000 - 008e3000 [5004 KiB].[0m

[33ml4linux | Areas: Text: 00400000 - 007d0000 [3904kB] (a bit longer)[0m

[33ml4linux | Data: 007d0000 - 00805700 [213kB][0m

[33ml4linux | Initdata: 00807000 - 00834000 [180kB][0m

[33ml4linux | BSS: 00834000 - 008cd000 [612kB][0m

[33ml4linux | gs=43 fs=43[0m

[33ml4linux | Device scan:[0m

[33ml4linux | Device: L4ICU[0m

[33ml4linux | Device: PCI0[0m

[33ml4linux | Device: pci_l4x[0000][0m

[33ml4linux | PORT: 0000c040 - 0000c04f[0m

[33ml4linux | PORT: 000001f0 - 000001f7[0m

[33ml4linux | PORT: 000003f6 - 000003f6[0m

[33ml4linux | IRQ: 0000000e - 0000000e[0m

[33ml4linux | PORT: 00000170 - 00000177[0m

[33ml4linux | PORT: 00000376 - 00000376[0m

[33ml4linux | IRQ: 0000000f - 0000000f[0m

[33ml4linux | Device: pci_l4x[0001][0m

[33ml4linux | IRQ: 0000000b - 0000000b[0m

[33ml4linux | MEM: febc0000 - febdffff[0m

[33ml4linux | PORT: 0000c000 - 0000c03f[0m

[33ml4linux | Device scan done.[0m

[33ml4linux | l4x_fiasco_gdt_entry_offset = 9[0m

[33ml4linux | rtc not found[0m

[33ml4linux | WARNING: RTC server does not seem to be there![0m

[33ml4linux | l4lx_thread_create: Created thread 417 (cpu0) (u:b3000e00, v:b3000c00, sp:007d1fac)[0m

[33ml4linux | main thread will be 417[0m

[33ml4linux | l4x_register_pointer_section: addr = 007d0000 size = 1126400[0m

[33ml4linux | section-with-init: Virt: 0x7d0000 to 0x8e2fff [1100 KiB][0m

[33ml4linux | section-with-init: Phys: 0x00ab5000 to 0x00bc7fff, [1100 KiB][0m

[33ml4linux | Main thread running, waiting...[0m

[33ml4linux | WARNING: Unknown wrmsr: 0000008b at 0x410c07[0m

[33ml4linux | L4x: Memory size: 64MB[0m

[33ml4linux | L4x: Setting superpages for main memory[0m

[33ml4linux | L4x: Adjusted memory start: 00400000[0m

[33ml4linux | Main memory: Virt: 0xc00000 to 0x4bfffff [65536 KiB][0m

[33ml4linux | Main memory: Phys: 0x03800000 to 0x077fffff, [65536 KiB][0m

[33ml4linux | l4x: vmalloc area: 04c00000 - 0cc00000[0m

[33ml4linux | Filling lower ptabs...[0m

[33ml4linux | Done (1819 entries).[0m

[33ml4linux | l4x_register_pointer_section: addr = 00400000 size = 3997696[0m

[33ml4linux | text: Virt: 0x400000 to 0x7cffff [3904 KiB][0m

[33ml4linux | text: Phys: 0x0064f000 to 0x00a1efff, [3904 KiB][0m

[33ml4linux | Loading: rom/ramdisk-x86.rd[0m

[33ml4linux | INITRD: Size of RAMdisk is 3072KiB[0m

[33ml4linux | RAMdisk from 0cd1b000 to 0d01b000 [3072KiB][0m

[33ml4linux | rtc not found[0m

[33ml4linux | l4lx_thread_create: Created thread 41e (timer0) (u:b3000a00, v:00000000, sp:00861fa8)[0m

[33ml4linux | WARNING: Unknown wrmsr: 0000008b at 0x410c07[0m

[33ml4linux | WARNING: Unknown rdmsr: 00000186 at 0x80e632[0m

[33ml4linux | WARNING: Unknown rdmsr: 00000187 at 0x80e632[0m

[33ml4linux | WARNING: Unknown wrmsr: 000000c1 at 0x80e704[0m

[33ml4linux | Invalid IO-Port access at pc = 0081c97a port=0x110[0m

[33ml4linux | Die message: Trap: 13[0m

[33ml4linux | panic: going to sleep forever, bye[0m

#################################### l4lx-gfx.cfg ###########################

-- vim:set ft=lua:

loader = L4.default_loader;

local lxname = "vmlinuz";

if L4.Info.arch() == "arm" then

lxname = "vmlinuz.arm";

end

-- Start io

vbus_l4linux = loader:new_channel();

vbus_input = loader:new_channel();

vbus_fbdrv = loader:new_channel();

loader:start(

{

caps = {

sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0);

icu = L4.Env.icu;

input = vbus_input:svr();

l4linux = vbus_l4linux:svr();

fbdrv = vbus_fbdrv:svr();

},

}, "rom/io rom/x86-legacy.devs rom/l4lx-x86.io");

-- Start fb-drv (but only if we need to)

local fb = L4.Env.vesa;

if (not fb) then

fb = loader:new_channel();

loader:start({ caps = { fb = fb:svr(), vbus = vbus_fbdrv }},

"rom/fb-drv -m 0x117");

end

local mag_mag = loader:new_channel();

local mag_svc = loader:new_channel();

-- Start mag

loader:start(

{

caps = {

vbus = vbus_input;

mag = mag_mag:svr();

svc = mag_svc:svr();

fb = fb;

},

}, "rom/mag");

-- Start Linux

loader:start(

{ caps = {

log = L4.Env.log:m("rws"),

fb = mag_svc:create(L4.Proto.Goos, "g=640x480");

vbus = vbus_l4linux;

},

l4re_dbg = L4.Dbg.Warn,

log = { "l4linux", "yellow" },

},

"rom/" .. lxname .. " mem=64M console=tty0 l4x_rd=rom/ramdisk-" .. L4.Info.arch() .. ".rd root=1:0 ramdisk_size=4000");

############################## modules.list ######################################

modaddr 0x01100000

default-kernel fiasco -serial_esc

default-bootstrap bootstrap

entry L4Linux

roottask moe rom/l4lx-gfx.cfg

module l4re

module ned

module l4lx-gfx.cfg

module io

module fb-drv

module mag

module x86-legacy.devs

module l4lx-x86.io

module vmlinuz

module ramdisk-x86.rd