Hi,what is the actual problem you encounter? I cannot spot any problem from the (incomplete?) log.Matthias.On 21.07.2014, at 17:11, cem akpolat <akpolatcem@gmail.com> wrote:_______________________________________________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 3000L4 BootstrapperBuild: #1 Mo 21. Jul 16:33:27 CEST 2014, x86-32, 4.8.2RAM: 0000000000000000 - 000000000009fbff: 639kBRAM: 0000000000100000 - 00000000bb7fdfff: 3070968kBTotal RAM: 2999MBMoving up to 15 modules behind 1100000moving 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_escScanning /home/akpolat/mysvn/l4android/l4android/src/src/l4/build/bin/x86_586/l4f/sigma0Scanning /home/akpolat/mysvn/l4android/l4android/src/src/l4/build/bin/x86_586/l4f/moe rom/lx_ginger.cfgBootloader 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//fiascoLoading ndroid/l4android/src/src/l4/build/bin/x86_586/l4f/sigma0Loading l4android/l4android/src/src/l4/build/bin/x86_586/l4f/moefind kernel info page...found kernel info page at 0x400000Regions 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 BIOSAPI Version: (87) experimentalSigma0 config ip:00100218 sp:002e1040Roottask config ip:001401f6 sp:00000000Starting kernel /l4android/l4android/src/src/kernel/fiasco/build//fiasco at 003007b0Welcome to Fiasco.OC (ia32)!L4/Fiasco.OC ia32 microkernel (C) 1998-2012 TU DresdenRev: UNKNOWN compiled with gcc 4.8.2 for Intel Pentium []Build: #1 Mo 21. Jul 16:36:47 CEST 2014Performance-critical config option(s) detected:CONFIG_NDEBUG is offCONFIG_NO_FRAME_PTR is offSuperpages: yesKmem:: cpu page at bb3e2000 (4096Bytes)ACPI-InitACPI: RSDP[0xf09e0] r00 OEM:BOCHS.Boot_alloc: size=0x10Boot_alloc: allocated extra memory block @0xfffe5000 (size=400)Boot_alloc: @ 0xfffe5000Boot_alloc: remaining free block @ 0xfffe5010 (size=3f0)ACPI: RSDT[0x203ffbc1] r01 OEM:BOCHS. OEMTID:BXPCRSDTACPI: FACP[0x203ff1c0] r01 OEM:BOCHS. OEMTID:BXPCFACPACPI: SSDT[0x203ff234] r01 OEM:BOCHS. OEMTID:BXPCSSDTACPI: APIC[0x203ffb11] r01 OEM:BOCHS. OEMTID:BXPCAPICACPI: HPET[0x203ffb89] r01 OEM:BOCHS. OEMTID:BXPCHPETIO-APIC: MADT = 0x203ffb11IO-APIC[ 0]: struct: 0x203ffb45 adr=fec00000Boot_alloc: size=0x1cBoot_alloc: @ 0xfffe5010Boot_alloc: remaining free block @ 0xfffe5030 (size=3d0)Boot_alloc: size=0x120Boot_alloc: @ 0xfffe5030Boot_alloc: remaining free block @ 0xfffe5150 (size=2b0)IO-APIC[ 0]: pins 24PIN[ 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: yesIO-APIC: ovr[ 0] 00 -> 2IO-APIC: ovr[ 1] 05 -> 5IO-APIC: ovr[ 2] 09 -> 9IO-APIC: ovr[ 3] 0a -> aIO-APIC: ovr[ 4] 0b -> bBoot_alloc: size=0x4Boot_alloc: @ 0xfffe5150Boot_alloc: remaining free block @ 0xfffe5158 (size=2a8)Allocate cpu_mem @ 0xfffe5400FPU0: SSELocal APIC[00]: version=11 max_lvt=5APIC ESR value before/after enabling: 00000000/00000000Using the Local APIC timer on vector 90 (Periodic Mode) for schedulingSERIAL ESC: allocated IRQ 4 for serial uartAbsolute KIP Syscalls using: SysenterBoot_alloc: size=0x14Boot_alloc: @ 0xfffe5158Boot_alloc: remaining free block @ 0xfffe5170 (size=290)Boot_alloc: size=0x300Boot_alloc: allocated extra memory block @0xfffe5800 (size=400)Boot_alloc: @ 0xfffe5800Boot_alloc: remaining free block @ 0xfffe5b00 (size=100)Enable MSI support: chained IRQ mgr @ 0xfffe5150SERIAL ESC: allocated IRQ 4 for serial uartNot using serial hack in slow timer handler.CPU[0]: GenuineIntel (6:6:3:0)[00000663] Model: QEMU Virtual CPU version 2.0.0 at 2694MHz32 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 @ 400000Found Fiasco: KIP syscalls: yesallocated 4KB for maintenance structuresSIGMA0: Dump of all resource mapsRAM:------------------------[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 worldMOE: found 2894324 KByte free memoryMOE: found RAM from 1000 to bb7fe000MOE: allocated 2999 KByte for the page array @0x46b000MOE: virtual user address space [0-bfffffff]MOE: rom name space cap -> [C:501000]BOOTFS: [72cd000-73fca83] [C:503000] l4reBOOTFS: [73fd000-764b17c] [C:504000] nedBOOTFS: [764c000-8157390] [C:505000] ioBOOTFS: [1100000-12058b9] [C:506000] rtcBOOTFS: [1206000-162cfce] [C:507000] magBOOTFS: [162d000-17a6ebe] [C:508000] fb-drvBOOTFS: [17a7000-17a783a] [C:509000] lx_ginger.cfgBOOTFS: [17a8000-17a836c] [C:50a000] x86-legacy.devsBOOTFS: [17a9000-17a986f] [C:50b000] x86_android.vbusBOOTFS: [17aa000-1b58e4f] [C:50c000] vmlinuz.androidBOOTFS: [1b59000-1c59000] [C:50d000] root-x86-ginger.imgBOOTFS: [1c59000-72cd000] [C:50e000] system-x86-ginger.imgMOE: cmdline: /home/akpolat/mysvn/l4android/l4android/src/src/l4/build/bin/x86_586/l4f/moe rom/lx_ginger.cfgMOE: Starting: rom/ned rom/lx_ginger.cfgMOE: loading 'rom/ned'Ned says: Hi World!Ned: loading file: 'rom/lx_ginger.cfg'io | Dev_factory: register factory for N2Hw6DeviceEio | GTF: register factory for 7Pci_devio | GTF: register factory for N2Hw12Msi_resourceEio | Dev_factory: register factory for N2Hw11Gpio_deviceEio | Io serviceio | Find root Pointerio | Find root Pointer: f09e0io | 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): UNINPLEMENTEDio | 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): UNINPLEMENTEDio | 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): UNINPLEMENTEDio | ACPI: FACS 0xbb7fe000 00040io | /home/akpolat/mysvn/l4android/l4android/src/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbff234, 0x80007d08, 0x80007d0c): UNINPLEMENTEDio | 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): UNINPLEMENTEDio | 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): UNINPLEMENTEDio | 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 Regionsio | Parsing all Control Methods:io | Table [SSDT](id 0002) - 155 Objects with 32 Devices 42 Methods 1 Regionsio | tbxfload-0274 [02] TbLoadNamespace : ACPI Tables successfully acquiredio | evxfevnt-0175 [02] Enable : Transition to ACPI mode successfulio | evgpeblk-0523 [04] EvCreateGpeBlock : GPE 00 to 0F [_GPE] 2 regs on int 0x9io | /home/akpolat/mysvn/l4android/l4android/src/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:60:AcpiOsInstallInterruptHandler(9, 0x107d6c0, 0x3aa8): UNINPLEMENTEDio | 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 timerio | <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 MAGfb | Trying execution of ``set VBE mode'' using x86emufb | Found VESA BIOS version 3.0fb | OEM SeaBIOS VBE(C) 2011rtc | Date:21.07.2014 Time:15:05:38Best Regards,Cem Akpolat
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
matthias.lange@kernkonzept.com - Tel. 0351-41 888 614
Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129.
Geschäftsführer: Dr.-Ing. Michael Hohmuth