l4android compilation issue

cem akpolat akpolatcem at gmail.com
Mon Jul 21 17:11:06 CEST 2014


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140721/d0b1bd91/attachment-0001.html>


More information about the l4-hackers mailing list