Dear all,
I compiled l4android in the light of the explanation under l4android.org, however, I encountered the failure or another state that I don't know what it exactly means. It doesn't seem as an error, however, it stays here. By the way, the build.pl file provided in l4android.org doesn't work, therefore I have compiled everything manually.
n/x86_586/l4f/system-x86-ginger.img " -serial stdio -m 3000
L4 Bootstrapper Build: #1 Mo 21. Jul 16:33:27 CEST 2014, x86-32, 4.8.2 RAM: 0000000000000000 - 000000000009fbff: 639kB RAM: 0000000000100000 - 00000000bb7fdfff: 3070968kB Total RAM: 2999MB Moving up to 15 modules behind 1100000 moving module 00 { 2e5000-350c3f } -> { 845a000-84c5c3f } [441408] moving module 01 { 351000-3a4c48 } -> { 84c6000-8519c48 } [343113] moving module 02 { 3a5000-5e6a68 } -> { 851a000-875ba68 } [2366057] moving module 03 { 5e7000-716a82 } -> { 763f000-776ea82 } [1243779] moving module 04 { 717000-96517b } -> { 776f000-79bd17b } [2417020] moving module 05 { 966000-147138f } -> { 875c000-926738f } [11580304] moving module 06 { 1472000-15778b8 } -> { 1100000-12058b8 } [1071289] moving module 07 { 1578000-199efcd } -> { 1206000-162cfcd } [4353998] moving module 08 { 199f000-1b18ebd } -> { 162d000-17a6ebd } [1547966] moving module 09 { 1b19000-1b19839 } -> { 17a7000-17a7839 } [2106] moving module 10 { 1b1a000-1b1a36b } -> { 17a8000-17a836b } [876] moving module 11 { 1b1b000-1b1b86e } -> { 17a9000-17a986e } [2159] moving module 12 { 1b1c000-1ecae4e } -> { 17aa000-1b58e4e } [3862095] moving module 13 { 1ecb000-1fcafff } -> { 1b59000-1c58fff } [1048576] moving module 14 { 1fcb000-763efff } -> { 1c59000-72ccfff } [90652672] moving module 03 { 763f000-776ea82 } -> { 72cd000-73fca82 } [1243779] moving module 04 { 776f000-79bd17b } -> { 73fd000-764b17b } [2417020] moving module 05 { 875c000-926738f } -> { 764c000-815738f } [11580304] Scanning /home/akpolat/mysvn/l4android/l4android/src/src/kernel/fiasco/build//fiasco -serial_esc Scanning /home/akpolat/mysvn/l4android/l4android/src/src/l4/build/bin/x86_586/l4f/sigma0 Scanning /home/akpolat/mysvn/l4android/l4android/src/src/l4/build/bin/x86_586/l4f/moe rom/lx_ginger.cfg Bootloader MMAP: [ 0, 9fc00) RAM (1) [ 9fc00, a0000) reserved (2) [ f0000, 100000) reserved (2) [ 100000, bb7fe000) RAM (1) [ bb7fe000, bb800000) reserved (2) [ fffc0000, 100000000) reserved (2) Relocated mbi to [0x2dd000-0x2dd606] Loading /l4android/l4android/src/src/kernel/fiasco/build//fiasco Loading ndroid/l4android/src/src/l4/build/bin/x86_586/l4f/sigma0 Loading l4android/l4android/src/src/l4/build/bin/x86_586/l4f/moe find kernel info page... found kernel info page at 0x400000 Regions of list 'regions' [ 0, fff] { 1000} Arch BIOS [ 9fc00, 9ffff] { 400} Arch BIOS [ f0000, fffff] { 10000} Arch BIOS [ 100000, 10b197] { b198} Sigma0 ndroid/l4android/src/src/l4/build/bin/x86_586/l4f/sigma0 [ 140000, 18e21f] { 4e220} Root l4android/l4android/src/src/l4/build/bin/x86_586/l4f/moe [ 2d0000, 2e34a7] { 134a8} Boot bootstrap [ 2dd000, 2dd703] { 704} Root Multiboot info [ 300000, 38ffff] { 90000} Kern /l4android/l4android/src/src/kernel/fiasco/build//fiasco [ 400000, 471fff] { 72000} Kern /l4android/l4android/src/src/kernel/fiasco/build//fiasco [ 1100000, 815738f] { 7057390} Root Module [ bb7fe000, bb7fffff] { 2000} Arch BIOS [ fffc0000, ffffffff] { 40000} Arch BIOS API Version: (87) experimental Sigma0 config ip:00100218 sp:002e1040 Roottask config ip:001401f6 sp:00000000 Starting kernel /l4android/l4android/src/src/kernel/fiasco/build//fiasco at 003007b0
Welcome to Fiasco.OC (ia32)! L4/Fiasco.OC ia32 microkernel (C) 1998-2012 TU Dresden Rev: UNKNOWN compiled with gcc 4.8.2 for Intel Pentium [] Build: #1 Mo 21. Jul 16:36:47 CEST 2014
Performance-critical config option(s) detected: CONFIG_NDEBUG is off CONFIG_NO_FRAME_PTR is off
Superpages: yes Kmem:: cpu page at bb3e2000 (4096Bytes) ACPI-Init ACPI: RSDP[0xf09e0] r00 OEM:BOCHS. Boot_alloc: size=0x10 Boot_alloc: allocated extra memory block @0xfffe5000 (size=400) Boot_alloc: @ 0xfffe5000 Boot_alloc: remaining free block @ 0xfffe5010 (size=3f0) 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 Boot_alloc: size=0x1c Boot_alloc: @ 0xfffe5010 Boot_alloc: remaining free block @ 0xfffe5030 (size=3d0) Boot_alloc: size=0x120 Boot_alloc: @ 0xfffe5030 Boot_alloc: remaining free block @ 0xfffe5150 (size=2b0) 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 IO-APIC: ovr[ 1] 05 -> 5 IO-APIC: ovr[ 2] 09 -> 9 IO-APIC: ovr[ 3] 0a -> a IO-APIC: ovr[ 4] 0b -> b Boot_alloc: size=0x4 Boot_alloc: @ 0xfffe5150 Boot_alloc: remaining free block @ 0xfffe5158 (size=2a8) Allocate cpu_mem @ 0xfffe5400 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 SERIAL ESC: allocated IRQ 4 for serial uart Absolute KIP Syscalls using: Sysenter Boot_alloc: size=0x14 Boot_alloc: @ 0xfffe5158 Boot_alloc: remaining free block @ 0xfffe5170 (size=290) Boot_alloc: size=0x300 Boot_alloc: allocated extra memory block @0xfffe5800 (size=400) Boot_alloc: @ 0xfffe5800 Boot_alloc: remaining free block @ 0xfffe5b00 (size=100) Enable MSI support: chained IRQ mgr @ 0xfffe5150 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 2694MHz
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: 28672 bytes (7 pages)
Calibrating timer loop... done. SIGMA0: Hello! KIP @ 400000 Found Fiasco: KIP syscalls: yes allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [0:1000;9efff] [0:10c000;13ffff] [4:140000;18efff] [0:18f000;2dcfff] [4:2dd000;2ddfff] [0:2de000;3fffff] [0:46b000;10fffff] [4:1100000;8157fff] [0:8158000;b77fffff] [0:bb400000;bb7fdfff] IOMEM:---------------------- [0:0;fff] [0:9f000;fffff] [0:bb7fe000;febfffff] [0:fec01000;fedfffff] [0:fee01000;ffffffff] IO PORTS-------------------------- [0:0;fffffff] MOE: Hello world MOE: found 2894324 KByte free memory MOE: found RAM from 1000 to bb7fe000 MOE: allocated 2999 KByte for the page array @0x46b000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:501000] BOOTFS: [72cd000-73fca83] [C:503000] l4re BOOTFS: [73fd000-764b17c] [C:504000] ned BOOTFS: [764c000-8157390] [C:505000] io BOOTFS: [1100000-12058b9] [C:506000] rtc BOOTFS: [1206000-162cfce] [C:507000] mag BOOTFS: [162d000-17a6ebe] [C:508000] fb-drv BOOTFS: [17a7000-17a783a] [C:509000] lx_ginger.cfg BOOTFS: [17a8000-17a836c] [C:50a000] x86-legacy.devs BOOTFS: [17a9000-17a986f] [C:50b000] x86_android.vbus BOOTFS: [17aa000-1b58e4f] [C:50c000] vmlinuz.android BOOTFS: [1b59000-1c59000] [C:50d000] root-x86-ginger.img BOOTFS: [1c59000-72cd000] [C:50e000] system-x86-ginger.img MOE: cmdline: /home/akpolat/mysvn/l4android/l4android/src/src/l4/build/bin/x86_586/l4f/moe rom/lx_ginger.cfg MOE: Starting: rom/ned rom/lx_ginger.cfg MOE: loading 'rom/ned' Ned says: Hi World! Ned: loading file: 'rom/lx_ginger.cfg' io | Dev_factory: register factory for N2Hw6DeviceE io | GTF: register factory for 7Pci_dev io | GTF: register factory for N2Hw12Msi_resourceE io | Dev_factory: register factory for N2Hw11Gpio_deviceE io | Io service io | Find root Pointer io | Find root Pointer: f09e0 io | ACPI: RSDP 0xf09e0 00014 (v00 BOCHS ) io | ACPI: RSDT 0xbb7ffbc1 00034 (v01 BOCHS BXPCRSDT 00000001 BXPC 00000001) io | /home/akpolat/mysvn/l4android/l4android/src/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbff1c0, 0x80007d08, 0x80007d0c): UNINPLEMENTED io | ACPI: FACP 0xbb7ff1c0 00074 (v01 BOCHS BXPCFACP 00000001 BXPC 00000001) io | /home/akpolat/mysvn/l4android/l4android/src/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbfe040, 0x80007ce8, 0x80007cec): UNINPLEMENTED io | ACPI: DSDT 0xbb7fe040 01180 (v01 BOCHS BXPCDSDT 00000001 BXPC 00000001) io | /home/akpolat/mysvn/l4android/l4android/src/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbfe000, 0x80007ce8, 0x80007cec): UNINPLEMENTED io | ACPI: FACS 0xbb7fe000 00040 io | /home/akpolat/mysvn/l4android/l4android/src/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbff234, 0x80007d08, 0x80007d0c): UNINPLEMENTED io | ACPI: SSDT 0xbb7ff234 008DD (v01 BOCHS BXPCSSDT 00000001 BXPC 00000001) io | /home/akpolat/mysvn/l4android/l4android/src/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbffb11, 0x80007d08, 0x80007d0c): UNINPLEMENTED io | ACPI: APIC 0xbb7ffb11 00078 (v01 BOCHS BXPCAPIC 00000001 BXPC 00000001) io | /home/akpolat/mysvn/l4android/l4android/src/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbffb89, 0x80007d08, 0x80007d0c): UNINPLEMENTED io | ACPI: HPET 0xbb7ffb89 00038 (v01 BOCHS BXPCHPET 00000001 BXPC 00000001) io | Parsing all Control Methods: io | Table [DSDT](id 0001) - 144 Objects with 18 Devices 52 Methods 8 Regions io | Parsing all Control Methods: io | Table [SSDT](id 0002) - 155 Objects with 32 Devices 42 Methods 1 Regions io | tbxfload-0274 [02] TbLoadNamespace : ACPI Tables successfully acquired io | evxfevnt-0175 [02] Enable : Transition to ACPI mode successful io | evgpeblk-0523 [04] EvCreateGpeBlock : GPE 00 to 0F [_GPE] 2 regs on int 0x9 io | /home/akpolat/mysvn/l4android/l4android/src/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:60:AcpiOsInstallInterruptHandler(9, 0x107d6c0, 0x3aa8): UNINPLEMENTED io | Completing Region/Field/Buffer/Package initialization:..................................... io | Initialized 9/9 Regions 2/2 Fields 21/21 Buffers 5/5 Packages (308 nodes) io | Initializing Device/Processor/Thermal objects by executing _INI methods: io | Executed 0 _INI methods requiring 1 _STA executions (examined 53 objects) io | ACPICA-Version:20121018, System in ACPI MODE, 32bit timer io | <0xb120>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201) io | <0x16b38>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201) io | Ready. Waiting for request. mag | Hello from MAG fb | Trying execution of ``set VBE mode'' using x86emu fb | Found VESA BIOS version 3.0 fb | OEM SeaBIOS VBE(C) 2011 rtc | Date:21.07.2014 Time:15:05:38
Best Regards, Cem Akpolat