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