Ned: loading file: 'rom/x86-fb.cfg' IO | Dev_factory: register factory for N2Hw11Gpio_deviceE IO | GTF: register factory for N2Hw12Msi_resourceE IO | GTF: register factory for 7Pci_dev IO | Dev_factory: register factory for N2Hw6DeviceE IO | Io service IO | Verboseness level: 7 IO | unused physical memory space: IO | [00000018000000-000000febfffff] IO | [000000fec01000-000000fedfffff] IO | [000000fee01000-000000fffbffff] IO | Hello from L4-ACPICA IO | Find root Pointer IO | new iomem region: p=0 v=400000 s=400000 (bmb=0x36a8) IO | map mem: p=0 v=400000 s=1000: done(0) IO | AcpiOsMapMemory(40e, 2) = 40040e IO | map mem: p=9f000 v=49f000 s=1000: done(0) IO | AcpiOsMapMemory(9f400, 400) = 49f400 IO | map mem: p=e0000 v=4e0000 s=20000: done(0) IO | AcpiOsMapMemory(e0000, 20000) = 4e0000 IO | Find root Pointer: fd9a0 IO | AcpiOsMapMemory(fd9a0, 24) = 4fd9a0 IO | ACPI: RSDP 0xfd9a0 00014 (v00 BOCHS ) IO | new iomem region: p=17c00000 v=800000 s=400000 (bmb=0x3750) IO | map mem: p=17ffd000 v=bfd000 s=1000: done(0) IO | AcpiOsMapMemory(17ffd7b0, 24) = bfd7b0 IO | ACPI: RSDT 0x17ffd7b0 00034 (v01 BOCHS BXPCRSDT 00000001 BXPC 00000001) IO | AcpiOsMapMemory(17ffd7b0, 34) = bfd7b0 IO | map mem: p=17fff000 v=bff000 s=1000: done(0) IO | AcpiOsMapMemory(17ffff80, 24) = bfff80 IO | /home/jbutler/fiasco-l4re-snapshot/l4re-snapshot-2014053111/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbfff80, 0x80007b78, 0x80007b7c): UNINPLEMENTED IO | ACPI: FACP 0x17ffff80 00074 (v01 BOCHS BXPCFACP 00000001 BXPC 00000001) IO | AcpiOsMapMemory(17ffff80, 74) = bfff80 IO | AcpiOsMapMemory(17ffd9b0, 24) = bfd9b0 IO | /home/jbutler/fiasco-l4re-snapshot/l4re-snapshot-2014053111/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbfd9b0, 0x80007b58, 0x80007b5c): UNINPLEMENTED IO | ACPI: DSDT 0x17ffd9b0 02589 (v01 BXPC BXDSDT 00000001 INTL 20100528) IO | AcpiOsMapMemory(17ffff40, 24) = bfff40 IO | /home/jbutler/fiasco-l4re-snapshot/l4re-snapshot-2014053111/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbfff40, 0x80007b58, 0x80007b5c): UNINPLEMENTED IO | ACPI: FACS 0x17ffff40 00040 IO | AcpiOsMapMemory(17ffd910, 24) = bfd910 IO | /home/jbutler/fiasco-l4re-snapshot/l4re-snapshot-2014053111/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbfd910, 0x80007b78, 0x80007b7c): UNINPLEMENTED IO | ACPI: SSDT 0x17ffd910 0009E (v01 BOCHS BXPCSSDT 00000001 BXPC 00000001) IO | AcpiOsMapMemory(17ffd830, 24) = bfd830 IO | /home/jbutler/fiasco-l4re-snapshot/l4re-snapshot-2014053111/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbfd830, 0x80007b78, 0x80007b7c): UNINPLEMENTED IO | ACPI: APIC 0x17ffd830 00072 (v01 BOCHS BXPCAPIC 00000001 BXPC 00000001) IO | AcpiOsMapMemory(17ffd7f0, 24) = bfd7f0 IO | /home/jbutler/fiasco-l4re-snapshot/l4re-snapshot-2014053111/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbfd7f0, 0x80007b78, 0x80007b7c): UNINPLEMENTED IO | ACPI: HPET 0x17ffd7f0 00038 (v01 BOCHS BXPCHPET 00000001 BXPC 00000001) IO | map mem: p=17ffe000 v=bfe000 s=1000: done(0) IO | AcpiOsMapMemory(17ffd9b0, 2589) = bfd9b0 IO | Parsing all Control Methods: IO | Table [DSDT](id 0001) - 383 Objects with 77 Devices 118 Methods 8 Regions IO | AcpiOsMapMemory(17ffd910, 9e) = bfd910 IO | Parsing all Control Methods: IO | Table [SSDT](id 0002) - 8 Objects with 0 Devices 4 Methods 0 Regions IO | tbxfload-0274 [02] TbLoadNamespace : ACPI Tables successfully acquired IO | enable ACPI subsystem IO | evxfevnt-0175 [02] Enable : Transition to ACPI mode successful IO | AcpiOsMapMemory(17ffff40, 40) = bfff40 IO | evgpeblk-0523 [04] EvCreateGpeBlock : GPE 00 to 0F [_GPE] 2 regs on int 0x9 IO | /home/jbutler/fiasco-l4re-snapshot/l4re-snapshot-2014053111/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:60:AcpiOsInstallInterruptHandler(9, 0x1083ef0, 0x3a48): UNINPLEMENTED IO | initialize ACPI objects IO | Completing Region/Field/Buffer/Package initialization:..................... IO | Initialized 8/8 Regions 0/0 Fields 8/8 Buffers 5/5 Packages (400 nodes) IO | Initializing Device/Processor/Thermal objects by executing _INI methods: IO | Executed 0 _INI methods requiring 0 _STA executions (examined 80 objects) IO | Interpreter enabled IO | scanning for PCI root bridge IO | Found PCI root bridge... IO | Using IOAPIC for interrupt routing IO | ACPI subsystem initialized IO | ACPICA-Version:20121018, System in ACPI MODE, 32bit timer IO | (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKS][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) WARNING: phys mmio resource allocation failed IO | <0x18058>IOMEM * [000000000a0000-000000000bffff 20000] non-pref (32bit) (align=1ffff flags=c002) IO | WARNING: phys mmio resource allocation failed IO | <0x18058>IOMEM * [000000000a0000-000000000bffff 20000] non-pref (32bit) (align=1ffff flags=c002) IO | <0x18458>IRQ [00000000000000-00000000000000 1] none (32bit) (align=0 flags=44201) IO | requesting IRQ resource: Hw::Device[S3__] IO | 0000:00:03.0: network controller [0] IO | 0x10ec 0x8139 IO | Realtek Semiconductor Co., Ltd. RTL-8139/8139C/8139C+ IO | <0x18458> IRQ [00000000000000-00000000000000 1] none (32bit) (align=0 flags=44201) IO | at ACPI IRQ routing resource IO | <0x184e0>IRQ [00000000000000-00000000000000 1] none (32bit) (align=0 flags=44201) IO | requesting IRQ resource: Hw::Device[PX13] IO | 0000:00:01.3: bridge device [0] IO | 0x8086 0x7113 IO | Intel Corporation 82371AB/EB/MB PIIX4 ACPI IO | <0x184e0> IRQ [00000000000000-00000000000000 1] none (32bit) (align=0 flags=44201) IO | at ACPI IRQ routing resource IO | WARNING: ignoring ACPI resource (unkown type: 1) IO | Loading: config 'rom/x86-legacy.devs' IO | WARNING: phys mmio resource allocation failed IO | <0x30370>IOMEM [00000000000000-00000000000fff 1000] non-pref (32bit) (align=fff flags=c002) IO | WARNING: phys mmio resource allocation failed IO | <0x30370>IOMEM [00000000000000-00000000000fff 1000] non-pref (32bit) (align=fff flags=c002) IO | WARNING: phys mmio resource allocation failed IO | <0x303c0>IOMEM [0000000009f000-0000000009ffff 1000] non-pref (32bit) (align=fff flags=c002) IO | WARNING: phys mmio resource allocation failed IO | <0x303c0>IOMEM [0000000009f000-0000000009ffff 1000] non-pref (32bit) (align=fff flags=c002) IO | WARNING: phys mmio resource allocation failed IO | <0x30410>IOMEM [000000000c0000-000000000fffff 40000] non-pref (32bit) (align=3ffff flags=c002) IO | WARNING: phys mmio resource allocation failed IO | <0x30410>IOMEM [000000000c0000-000000000fffff 40000] non-pref (32bit) (align=3ffff flags=c002) IO | WARNING: phys mmio resource allocation failed IO | <0x31458>IOMEM [000000000a0000-000000000bffff 20000] non-pref (32bit) (align=1ffff flags=4002) IO | WARNING: phys mmio resource allocation failed IO | <0x31458>IOMEM [000000000a0000-000000000bffff 20000] non-pref (32bit) (align=1ffff flags=4002) IO | allocated resource: <0x31458>IOMEM [00000018000000-0000001801ffff 20000] non-pref (32bit) (align=1ffff flags=4002) IO | allocated resource: <0x31458>IOMEM [00000018000000-0000001801ffff 20000] non-pref (32bit) (align=1ffff flags=4002) IO | Loading: config 'rom/x86-fb.io' IO | rom/x86-fb.io:18.30-38: warning: could not find 'PNP0100' IO | Add IRQ resources to vbus: <0x31710>IRQ [00000000000001-00000000000001 1] none (32bit) (align=0 flags=4001) IO | Add IRQ resources to vbus: <0x31760>IRQ [0000000000000c-0000000000000c 1] none (32bit) (align=0 flags=4001) IO | P6Device: gui "" IO | P6Device: (noname) "L40009" IO | P6Device: ps2dev "PNP0303" IO | <0x31670> IOPORT [00000000000060-00000000000060 1] non-pref (32bit) (align=0 flags=4003) IO | <0x316c0> IOPORT [00000000000064-00000000000064 1] non-pref (32bit) (align=0 flags=4003) IO | <0x31710> IRQ [00000000000001-00000000000001 1] none (32bit) (align=0 flags=4001) IO | <0x31760> IRQ [0000000000000c-0000000000000c 1] none (32bit) (align=0 flags=4001) IO | P6Device: ps2dev "PNP0F13" IO | <0xc2d8> IRQ [0000000000000c-0000000000000c 1] raising edge (32bit) (align=0 flags=104001) IO | P6Device: ps2dev "PNP0303" IO | <0xc240> IOPORT [00000000000060-00000000000060 1] non-pref (32bit) (align=0 flags=c003) IO | <0xc268> IOPORT [00000000000064-00000000000064 1] non-pref (32bit) (align=0 flags=c003) IO | <0xc290> IRQ [00000000000001-00000000000001 1] raising edge (32bit) (align=0 flags=104001) IO | P6Device: fbdrv "" IO | P6Device: (noname) "L40009" IO | P6Device: PCI0 "PNP0A03" IO | P6Device: host_bridge_dummy "" IO | P6Device: pci_gfx[0000] "" IO | <0x172f0> IOMEM [000000fc000000-000000fdffffff 2000000] pref (32bit) (align=1ffffff flags=4e02) IO | <0x18410> IOMEM [000000febf0000-000000febf0fff 1000] non-pref (32bit) (align=fff flags=4a02) IO | P6Device: dev1 "BIOS" IO | <0x30370> IOMEM [00000000000000-00000000000fff 1000] non-pref (32bit) (align=fff flags=c002) IO | <0x303c0> IOMEM [0000000009f000-0000000009ffff 1000] non-pref (32bit) (align=fff flags=c002) IO | <0x30410> IOMEM [000000000c0000-000000000fffff 40000] non-pref (32bit) (align=3ffff flags=c002) IO | P6Device: dev2 "PNP0900" IO | <0x30a00> IOPORT [000000000003b0-000000000003bf 10] non-pref (32bit) (align=f flags=4003) IO | <0x30a50> IOPORT [000000000003c0-000000000003df 20] non-pref (32bit) (align=1f flags=4003) IO | <0x30aa0> IOPORT [000000000001ce-000000000001d0 3] non-pref (32bit) (align=2 flags=4003) IO | <0x31408> IOPORT [00000000000402-00000000000402 1] non-pref (32bit) (align=0 flags=4003) IO | <0x31458> IOMEM [00000018000000-0000001801ffff 20000] non-pref (32bit) (align=1ffff flags=4002) IO | Real Hardware ----------------------------------- IO | P6Device: System Bus "" IO | Hw::Device[System Bus] IO | P6Device: PCI0 "PNP0A03" IO | Hw::Device[PCI0] IO | PCI IRQ ROUTER: 18Pci_irq_router_resIN12_GLOBAL__N_122Acpi_pci_irq_router_rsEE (0x185f0) IO | <0x17348> BUS * [00000000000000-000000000000ff 100] non-pref (32bit) (align=ff flags=c004) IO | <0x101e8> IOPORT [00000000000cf8-00000000000cff 8] non-pref (32bit) (align=7 flags=c003) IO | <0x17380> IOPORT* [00000000000000-00000000000cf7 cf8] non-pref (32bit) (align=cf7 flags=c003) IO | <0x18020> IOPORT* [00000000000d00-0000000000ffff f300] non-pref (32bit) (align=f2ff flags=c003) IO | <0x18058> IOMEM * [000000000a0000-000000000bffff 20000] non-pref (32bit) (align=1ffff flags=c002) IO | <0x18090> IOMEM * [000000e0000000-000000febfffff 1ec00000] non-pref (32bit) (align=1ebfffff flags=c002) IO | P6Device: S1__ "" IO | Hw::Device[S1__] IO | 0000:00:01.0: ISA Bridge [128] IO | 0x8086 0x7000 IO | Intel Corporation 82371SB PIIX3 ISA [Natoma/Triton II] IO | P6Device: S2__ "" IO | Hw::Device[S2__] IO | 0000:00:02.0: display controller [0] IO | 0x1013 0x00b8 IO | Cirrus Logic GD 5446 IO | <0x172f0> IOMEM [000000fc000000-000000fdffffff 2000000] pref (32bit) (align=1ffffff flags=4e02) IO | <0x18410> IOMEM [000000febf0000-000000febf0fff 1000] non-pref (32bit) (align=fff flags=4a02) IO | P6Device: S3__ "" IO | Hw::Device[S3__] IO | 0000:00:03.0: network controller [0] IO | 0x10ec 0x8139 IO | Realtek Semiconductor Co., Ltd. RTL-8139/8139C/8139C+ (#2) IO | <0x18458> IRQ [0000000000000b-0000000000000b 1] level high (32bit) (align=0 flags=304201) IO | <0x18480> IOPORT [0000000000c000-0000000000c0ff 100] non-pref (32bit) (align=ff flags=4a03) IO | <0x184b8> IOMEM [000000febf1000-000000febf10ff 100] non-pref (32bit) (align=ff flags=4a02) IO | P6Device: S4__ "" IO | Hw::Device[S4__] IO | P6Device: S5__ "" IO | Hw::Device[S5__] IO | P6Device: S6__ "" IO | Hw::Device[S6__] IO | P6Device: S7__ "" IO | Hw::Device[S7__] IO | P6Device: S8__ "" IO | Hw::Device[S8__] IO | P6Device: S9__ "" IO | Hw::Device[S9__] IO | P6Device: S10_ "" IO | Hw::Device[S10_] IO | P6Device: S11_ "" IO | Hw::Device[S11_] IO | P6Device: S12_ "" IO | Hw::Device[S12_] IO | P6Device: S13_ "" IO | Hw::Device[S13_] IO | P6Device: S14_ "" IO | Hw::Device[S14_] IO | P6Device: S15_ "" IO | Hw::Device[S15_] IO | P6Device: S16_ "" IO | Hw::Device[S16_] IO | P6Device: S17_ "" IO | Hw::Device[S17_] IO | P6Device: S18_ "" IO | Hw::Device[S18_] IO | P6Device: S19_ "" IO | Hw::Device[S19_] IO | P6Device: S20_ "" IO | Hw::Device[S20_] IO | P6Device: S21_ "" IO | Hw::Device[S21_] IO | P6Device: S22_ "" IO | Hw::Device[S22_] IO | P6Device: S23_ "" IO | Hw::Device[S23_] IO | P6Device: S24_ "" IO | Hw::Device[S24_] IO | P6Device: S25_ "" IO | Hw::Device[S25_] IO | P6Device: S26_ "" IO | Hw::Device[S26_] IO | P6Device: S27_ "" IO | Hw::Device[S27_] IO | P6Device: S28_ "" IO | Hw::Device[S28_] IO | P6Device: S29_ "" IO | Hw::Device[S29_] IO | P6Device: S30_ "" IO | Hw::Device[S30_] IO | P6Device: S31_ "" IO | Hw::Device[S31_] IO | P6Device: VGA_ "" IO | Hw::Device[VGA_] IO | P6Device: ISA_ "" IO | Hw::Device[ISA_] IO | P6Device: RTC_ "PNP0B00" IO | Hw::Device[RTC_] IO | <0xc160> IOPORT [00000000000070-00000000000071 2] non-pref (32bit) (align=1 flags=c003) IO | <0xc188> IRQ [00000000000008-00000000000008 1] raising edge (32bit) (align=0 flags=104001) IO | <0xc1b0> IOPORT [00000000000072-00000000000077 6] non-pref (32bit) (align=5 flags=c003) IO | P6Device: KBD_ "PNP0303" IO | Hw::Device[KBD_] IO | <0xc240> IOPORT [00000000000060-00000000000060 1] non-pref (32bit) (align=0 flags=c003) IO | <0xc268> IOPORT [00000000000064-00000000000064 1] non-pref (32bit) (align=0 flags=c003) IO | <0xc290> IRQ [00000000000001-00000000000001 1] raising edge (32bit) (align=0 flags=104001) IO | P6Device: MOU_ "PNP0F13" IO | Hw::Device[MOU_] IO | <0xc2d8> IRQ [0000000000000c-0000000000000c 1] raising edge (32bit) (align=0 flags=104001) IO | P6Device: FDC0 "PNP0700" IO | Hw::Device[FDC0] IO | <0xc370> IOPORT [000000000003f2-000000000003f5 4] non-pref (32bit) (align=3 flags=c003) IO | <0xc398> IOPORT [000000000003f7-000000000003f7 1] non-pref (32bit) (align=0 flags=c003) IO | <0xc3c0> IRQ [00000000000006-00000000000006 1] raising edge (32bit) (align=0 flags=104001) IO | P6Device: LPT_ "PNP0400" IO | Hw::Device[LPT_] IO | <0xc418> IOPORT [00000000000378-0000000000037f 8] non-pref (32bit) (align=7 flags=c003) IO | <0xc440> IRQ [00000000000007-00000000000007 1] raising edge (32bit) (align=0 flags=104001) IO | P6Device: COM1 "PNP0501" IO | Hw::Device[COM1] IO | <0xc1d8> IOPORT [000000000003f8-000000000003ff 8] non-pref (32bit) (align=7 flags=c003) IO | <0xc200> IRQ [00000000000004-00000000000004 1] raising edge (32bit) (align=0 flags=104001) IO | P6Device: COM2 "PNP0501" IO | Hw::Device[COM2] IO | <0xc0e0> IOPORT [000000000002f8-000000000002ff 8] non-pref (32bit) (align=7 flags=c003) IO | <0xc108> IRQ [00000000000003-00000000000003 1] raising edge (32bit) (align=0 flags=104001) IO | P6Device: PX13 "" IO | Hw::Device[PX13] IO | 0000:00:01.3: bridge device [0] IO | 0x8086 0x7113 IO | Intel Corporation 82371AB/EB/MB PIIX4 ACPI (#2) IO | <0x184e0> IRQ [0000000000000a-0000000000000a 1] level high (32bit) (align=0 flags=304201) IO | P6Device: SL3_ "" IO | Hw::Device[SL3_] IO | P6Device: SL4_ "" IO | Hw::Device[SL4_] IO | P6Device: SL5_ "" IO | Hw::Device[SL5_] IO | P6Device: SL6_ "" IO | Hw::Device[SL6_] IO | P6Device: SL7_ "" IO | Hw::Device[SL7_] IO | P6Device: SL8_ "" IO | Hw::Device[SL8_] IO | P6Device: SL9_ "" IO | Hw::Device[SL9_] IO | P6Device: SL10 "" IO | Hw::Device[SL10] IO | P6Device: SL11 "" IO | Hw::Device[SL11] IO | P6Device: SL12 "" IO | Hw::Device[SL12] IO | P6Device: SL13 "" IO | Hw::Device[SL13] IO | P6Device: SL14 "" IO | Hw::Device[SL14] IO | P6Device: SL15 "" IO | Hw::Device[SL15] IO | P6Device: SL16 "" IO | Hw::Device[SL16] IO | P6Device: SL17 "" IO | Hw::Device[SL17] IO | P6Device: SL18 "" IO | Hw::Device[SL18] IO | P6Device: SL19 "" IO | Hw::Device[SL19] IO | P6Device: SL20 "" IO | Hw::Device[SL20] IO | P6Device: SL21 "" IO | Hw::Device[SL21] IO | P6Device: SL22 "" IO | Hw::Device[SL22] IO | P6Device: SL23 "" IO | Hw::Device[SL23] IO | P6Device: SL24 "" IO | Hw::Device[SL24] IO | P6Device: SL25 "" IO | Hw::Device[SL25] IO | P6Device: SL26 "" IO | Hw::Device[SL26] IO | P6Device: SL27 "" IO | Hw::Device[SL27] IO | P6Device: SL28 "" IO | Hw::Device[SL28] IO | P6Device: SL29 "" IO | Hw::Device[SL29] IO | P6Device: SL30 "" IO | Hw::Device[SL30] IO | P6Device: SL31 "" IO | Hw::Device[SL31] IO | P6Device: "" IO | Hw::Device[] IO | 0000:00:00.0: Host/PCI Bridge [0] IO | 0x8086 0x1237 IO | Intel Corporation 440FX - 82441FX PMC [Natoma] IO | P6Device: "" IO | Hw::Device[] IO | 0000:00:01.1: mass storage contoller [0] IO | 0x8086 0x7010 IO | Intel Corporation 82371SB PIIX3 IDE [Natoma/Triton II] IO | <0x18508> IOPORT [000000000001f0-000000000001f7 8] non-pref (32bit) (align=7 flags=4a03) IO | <0x18530> IOPORT [000000000003f6-000000000003f6 1] non-pref (32bit) (align=0 flags=4a03) IO | <0x18568> IRQ [0000000000000e-0000000000000e 1] raising edge (32bit) (align=0 flags=104001) IO | <0x18590> IOPORT [00000000000170-00000000000177 8] non-pref (32bit) (align=7 flags=4a03) IO | <0x185b8> IOPORT [00000000000376-00000000000376 1] non-pref (32bit) (align=0 flags=4a03) IO | <0xc090> IRQ [0000000000000f-0000000000000f 1] raising edge (32bit) (align=0 flags=104001) IO | <0xc0b8> IOPORT [0000000000c100-0000000000c10f 10] non-pref (32bit) (align=f flags=4a03) IO | P6Device: HPET "PNP0103" IO | Hw::Device[HPET] IO | <0x172a0> IOMEM [000000fed00000-000000fed003ff 400] non-pref (32bit) (align=3ff flags=c002) IO | P6Device: LNKA "PNP0C0F" IO | Hw::Device[LNKA] IO | <0x172c8> IRQ [0000000000000a-0000000000000a 1] level high (32bit) (align=0 flags=304001) IO | P6Device: LNKB "PNP0C0F" IO | Hw::Device[LNKB] IO | <0x17240> IRQ [0000000000000a-0000000000000a 1] level high (32bit) (align=0 flags=304001) IO | P6Device: LNKC "PNP0C0F" IO | Hw::Device[LNKC] IO | <0x17318> IRQ [0000000000000b-0000000000000b 1] level high (32bit) (align=0 flags=304001) IO | P6Device: LNKD "PNP0C0F" IO | Hw::Device[LNKD] IO | <0x17268> IRQ [0000000000000b-0000000000000b 1] level high (32bit) (align=0 flags=304001) IO | P6Device: LNKS "PNP0C0F" IO | Hw::Device[LNKS] IO | <0x180c8> IRQ [0000000000000a-0000000000000a 1] level high (32bit) (align=0 flags=304001) IO | P6Device: BIOS "BIOS" IO | Hw::Device[BIOS] IO | <0x30370> IOMEM [00000000000000-00000000000fff 1000] non-pref (32bit) (align=fff flags=c002) IO | <0x303c0> IOMEM [0000000009f000-0000000009ffff 1000] non-pref (32bit) (align=fff flags=c002) IO | <0x30410> IOMEM [000000000c0000-000000000fffff 40000] non-pref (32bit) (align=3ffff flags=c002) IO | P6Device: P80 "P80" IO | Hw::Device[P80] IO | <0x2cf48> IOPORT [00000000000080-00000000000080 1] non-pref (32bit) (align=0 flags=4003) IO | P6Device: RTC "PNP0B00" IO | Hw::Device[RTC] IO | <0x318d8> IOPORT [00000000000070-00000000000071 2] non-pref (32bit) (align=1 flags=4003) IO | P6Device: VGA "PNP0900" IO | Hw::Device[VGA] IO | <0x30a00> IOPORT [000000000003b0-000000000003bf 10] non-pref (32bit) (align=f flags=4003) IO | <0x30a50> IOPORT [000000000003c0-000000000003df 20] non-pref (32bit) (align=1f flags=4003) IO | <0x30aa0> IOPORT [000000000001ce-000000000001d0 3] non-pref (32bit) (align=2 flags=4003) IO | <0x31408> IOPORT [00000000000402-00000000000402 1] non-pref (32bit) (align=0 flags=4003) IO | <0x31458> IOMEM [00000018000000-0000001801ffff 20000] non-pref (32bit) (align=1ffff flags=4002) IO | P6Device: PS2 "PNP0303" IO | Hw::Device[PS2] IO | <0x31670> IOPORT [00000000000060-00000000000060 1] non-pref (32bit) (align=0 flags=4003) IO | <0x316c0> IOPORT [00000000000064-00000000000064 1] non-pref (32bit) (align=0 flags=4003) IO | <0x31710> IRQ [00000000000001-00000000000001 1] none (32bit) (align=0 flags=4001) IO | <0x31760> IRQ [0000000000000c-0000000000000c 1] none (32bit) (align=0 flags=4001) IO | Ready. Waiting for request. IO | request resource: <0x80007bb0>IOPORT [000000000003b0-000000000003bf 10] non-pref (32bit) (align=f flags=4003) IO | IO | request resource: <0x80007bb0>IOPORT [000000000003c0-000000000003df 20] non-pref (32bit) (align=1f flags=4003) IO | IO | request resource: <0x80007bb0>IOPORT [000000000001ce-000000000001cf 2] non-pref (32bit) (align=1 flags=4003) IO | IO | request resource: <0x80007bb0>IOPORT [000000000001d0-000000000001d0 1] non-pref (32bit) (align=0 flags=4003) IO | IO | request resource: <0x80007bb0>IOPORT [00000000000402-00000000000402 1] non-pref (32bit) (align=0 flags=4003) IO | fbdrv | Trying execution of ``set VBE mode'' using x86emu IO | map mem: p=c0000 v=4c0000 s=20000: done(0) mag | Hello from MAG fbdrv | Found VESA BIOS version 2.0 fbdrv | OEM VGABIOS Cirrus extension fbdrv | Scanning for 'best' possible mode: fbdrv | Trying to read DDC info fbdrv | DDC function not supported fbdrv | EDID not available (-19), finding best possible mode ... fbdrv | Mode: 0x101 640x480@8, RGB: 0(0):0(0):0(0) mode: bb fbdrv | Mode: 0x110 640x480@15, RGB: 10(5):5(5):0(5) mode: bb fbdrv | Mode: 0x111 640x480@16, RGB: 11(5):5(6):0(5) mode: bb fbdrv | Mode: 0x112 640x480@24, RGB: 16(8):8(8):0(8) mode: bb fbdrv | Mode: 0x103 800x600@8, RGB: 0(0):0(0):0(0) mode: bb fbdrv | Mode: 0x113 800x600@15, RGB: 10(5):5(5):0(5) mode: bb fbdrv | Mode: 0x114 800x600@16, RGB: 11(5):5(6):0(5) mode: bb fbdrv | Mode: 0x115 800x600@24, RGB: 16(8):8(8):0(8) mode: bb fbdrv | Mode: 0x105 1024x768@8, RGB: 0(0):0(0):0(0) mode: bb fbdrv | Mode: 0x116 1024x768@15, RGB: 10(5):5(5):0(5) mode: bb fbdrv | Mode: 0x117 1024x768@16, RGB: 11(5):5(6):0(5) mode: bb fbdrv | Mode: 0x118 1024x768@24, RGB: 16(8):8(8):0(8) mode: bb fbdrv | Mode: 0x107 1280x1024@8, RGB: 0(0):0(0):0(0) mode: bb fbdrv | Mode: 0x119 1280x1024@15, RGB: 10(5):5(5):0(5) mode: bb fbdrv | Mode: 0x11a 1280x1024@16, RGB: 11(5):5(6):0(5) mode: bb fbdrv | Choosen mode: fbdrv | Mode: 0x11a 1280x1024@16, RGB: 11(5):5(6):0(5) mode: bb fbdrv | To force a specific setting use a '-m <mode>' option. fbdrv | x86emu_int10_set_vbemode, /home/jbutler/fiasco-l4re-snapshot/l4re-snapshot-2014053111/src/l4/pkg/x86emu/lib/int10/int10.cc, 622 fbdrv | x86emu_int10_set_vbemode, /home/jbutler/fiasco-l4re-snapshot/l4re-snapshot-2014053111/src/l4/pkg/x86emu/lib/int10/int10.cc, 624 fbdrv | x86emu_int10_set_vbemode, /home/jbutler/fiasco-l4re-snapshot/l4re-snapshot-2014053111/src/l4/pkg/x86emu/lib/int10/int10.cc, 626 fbdrv | x86emu_int10_set_vbemode, /home/jbutler/fiasco-l4re-snapshot/l4re-snapshot-2014053111/src/l4/pkg/x86emu/lib/int10/int10.cc, 629 fbdrv | L4Re[rm]: mapping for page fault failed with -34 @1a0000 pc=1006452 fbdrv | L4Re: unhandled exception: pc=0x1006452
On Fri, Jun 20, 2014 at 2:39 PM, Matthias Lange < matthias.lange@kernkonzept.com> wrote:
On 20 Jun 2014, at 20:06, teclis High Elf teclis.high.elf@gmail.com wrote:
I tried forcing the mode using the -m option and I get this:
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] none (32bit) (align=0 flags=44201) IO | <0x16b38>IRQ [00000000000000-00000000000000 1] none (32bit) (align=0 flags=44201) IO | rom/x86-fb.io:18.30-38: warning: could not find 'PNP0100' IO | Ready. Waiting for request. mag | Hello from MAG mag | Error: Exception: Void capability invoked: requesting goos info: backtrace ... mag | 1002260 mag | 100253e mag | 1065ef6 mag | 1000e34 mag | 106f105 mag | 10001c1 mag | mag | MAG: destroy FB svc Ned[lua]: Warning: Capability 42e000 does not support the meta protocol: -2004 Ned: ERROR: rom/x86-fb.cfg:61: attempt to call method 'create' (a nil value)
Please run io with a couple of "-v" options to make it more verbose. It should print the hardware device tree as read from ACPI.
Matthias.
On Wed, Jun 18, 2014 at 1:56 PM, teclis High Elf < teclis.high.elf@gmail.com> wrote:
I noticed in x86-fb.io there is a:
dev3 => wrap(hw-root.match("PNP0100"));
but no matching device in x86-legacy.devs
On Wed, Jun 18, 2014 at 8:30 AM, teclis High Elf < teclis.high.elf@gmail.com> wrote:
Its already there (from x86-legacy.devs): VGA = Hw.Device { hid = "PNP0900"; Res.io(0x3b0, 0x3bf); -- MDA Res.io(0x3c0, 0x3df); -- EGA/VGA Res.io(0x1ce, 0x1d0); -- Vbox Res.io(0x402, 0x402); -- QEMU Debug Port Res.mmio(0xa0000, 0xbffff); },
On Wed, Jun 18, 2014 at 8:14 AM, Matthias Lange < matthias.lange@kernkonzept.com> wrote:
On Mon, Jun 16, 2014 at 11:12:22AM -0400, teclis High Elf wrote:
I'm not sure its IO and the frame buffer memory. It fails on
X86EMU_exec()
in x86emu_int10_set_vbemode() called from Vesa_fb::setup_drv() before
the
first call to l4io_request_iomem()
Are testing your setup on qemu? In that case the VGA bios may attempt to access the Qemu debug IO port at 0x402. You can try adding that port to the VGA device.
Matthias.
On Tue, Jun 10, 2014 at 5:17 PM, Adam Lackorzynski < adam@os.inf.tu-dresden.de> wrote:
On Tue Jun 10, 2014 at 14:20:54 -0400, teclis High Elf wrote: > Ok I solved the build problem. This command: > > > *svn cat http://svn.tudos.org/repos/oc/tudos/trunk/repomgr > http://svn.tudos.org/repos/oc/tudos/trunk/repomgr | perl - init > http://svn.tudos.org/repos/oc/tudos <
http://svn.tudos.org/repos/oc/tudos
> > fiasco l4re* > > from: http://l4re.org/download.html doesn't grab all the l4
packages.
Indeed, it only checks out a subset. To fetch all, 'all' could be specified instead of 'fiasco l4re'.
> I downloaded the latest tarball snapshot and they were all there.
The other possibility.
> and it built ok. Now when it runs fbdrv page faults. Has anyone
seen this
> before? danke > > fbdrv | Trying execution of ``set VBE mode'' using x86emu > fbdrv | Found VESA BIOS version 2.0 > fbdrv | OEM VGABIOS Cirrus extension > fbdrv | Scanning for 'best' possible mode: > fbdrv | Trying to read DDC info > fbdrv | DDC function not supported > fbdrv | EDID not available (-19), finding best possible mode ... > fbdrv | Mode: 0x101 640x480@8, RGB: 0(0):0(0):0(0) mode: bb > fbdrv | Mode: 0x110 640x480@15, RGB: 10(5):5(5):0(5) mode:
bb
> fbdrv | Mode: 0x111 640x480@16, RGB: 11(5):5(6):0(5) mode:
bb
> fbdrv | Mode: 0x112 640x480@24, RGB: 16(8):8(8):0(8) mode:
bb
> fbdrv | Mode: 0x103 800x600@8, RGB: 0(0):0(0):0(0) mode: bb > fbdrv | Mode: 0x113 800x600@15, RGB: 10(5):5(5):0(5) mode:
bb
> fbdrv | Mode: 0x114 800x600@16, RGB: 11(5):5(6):0(5) mode:
bb
> fbdrv | Mode: 0x115 800x600@24, RGB: 16(8):8(8):0(8) mode:
bb
> fbdrv | Mode: 0x105 1024x768@8, RGB: 0(0):0(0):0(0) mode: bb > fbdrv | Mode: 0x116 1024x768@15, RGB: 10(5):5(5):0(5) mode:
bb
> fbdrv | Mode: 0x117 1024x768@16, RGB: 11(5):5(6):0(5) mode:
bb
> fbdrv | Mode: 0x118 1024x768@24, RGB: 16(8):8(8):0(8) mode:
bb
> fbdrv | Mode: 0x107 1280x1024@8, RGB: 0(0):0(0):0(0) mode: bb > fbdrv | Mode: 0x119 1280x1024@15, RGB: 10(5):5(5):0(5) mode:
bb
> fbdrv | Mode: 0x11a 1280x1024@16, RGB: 11(5):5(6):0(5) mode:
bb
> fbdrv | Choosen mode: > fbdrv | Mode: 0x11a 1280x1024@16, RGB: 11(5):5(6):0(5) mode:
bb
> fbdrv | To force a specific setting use a '-m <mode>' option. > fbdrv | L4Re[rm]: mapping for page fault failed with -34 @1a0000 > pc=1006452 > fbdrv | L4Re: unhandled exception: pc=0x1006452
This looks like io does not like to hand out the framebuffer memory. Any change when specifying, for example, -m 0x114 ? Does io say something noteworthy, possibly with some -v options supplied?
Adam
Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
-- Matthias Lange, matthias.lange@kernkonzept.com, +49 - 351 - 41 88 86 14
Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. Geschäftsführer: Dr.-Ing. Michael Hohmuth
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers