Graphical desktop, l4con, mag
teclis High Elf
teclis.high.elf at gmail.com
Sat Jun 21 01:16:46 CEST 2014
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 at 8, RGB: 0(0):0(0):0(0) mode: bb
fbdrv | Mode: 0x110 640x480 at 15, RGB: 10(5):5(5):0(5) mode: bb
fbdrv | Mode: 0x111 640x480 at 16, RGB: 11(5):5(6):0(5) mode: bb
fbdrv | Mode: 0x112 640x480 at 24, RGB: 16(8):8(8):0(8) mode: bb
fbdrv | Mode: 0x103 800x600 at 8, RGB: 0(0):0(0):0(0) mode: bb
fbdrv | Mode: 0x113 800x600 at 15, RGB: 10(5):5(5):0(5) mode: bb
fbdrv | Mode: 0x114 800x600 at 16, RGB: 11(5):5(6):0(5) mode: bb
fbdrv | Mode: 0x115 800x600 at 24, RGB: 16(8):8(8):0(8) mode: bb
fbdrv | Mode: 0x105 1024x768 at 8, RGB: 0(0):0(0):0(0) mode: bb
fbdrv | Mode: 0x116 1024x768 at 15, RGB: 10(5):5(5):0(5) mode: bb
fbdrv | Mode: 0x117 1024x768 at 16, RGB: 11(5):5(6):0(5) mode: bb
fbdrv | Mode: 0x118 1024x768 at 24, RGB: 16(8):8(8):0(8) mode: bb
fbdrv | Mode: 0x107 1280x1024 at 8, RGB: 0(0):0(0):0(0) mode: bb
fbdrv | Mode: 0x119 1280x1024 at 15, RGB: 10(5):5(5):0(5) mode: bb
fbdrv | Mode: 0x11a 1280x1024 at 16, RGB: 11(5):5(6):0(5) mode: bb
fbdrv | Choosen mode:
fbdrv | Mode: 0x11a 1280x1024 at 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 at kernkonzept.com> wrote:
>
> On 20 Jun 2014, at 20:06, teclis High Elf <teclis.high.elf at 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 at 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 at 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 at 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 at 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 at 8, RGB: 0(0):0(0):0(0) mode: bb
>>>> > > > fbdrv | Mode: 0x110 640x480 at 15, RGB: 10(5):5(5):0(5) mode:
>>>> bb
>>>> > > > fbdrv | Mode: 0x111 640x480 at 16, RGB: 11(5):5(6):0(5) mode:
>>>> bb
>>>> > > > fbdrv | Mode: 0x112 640x480 at 24, RGB: 16(8):8(8):0(8) mode:
>>>> bb
>>>> > > > fbdrv | Mode: 0x103 800x600 at 8, RGB: 0(0):0(0):0(0) mode: bb
>>>> > > > fbdrv | Mode: 0x113 800x600 at 15, RGB: 10(5):5(5):0(5) mode:
>>>> bb
>>>> > > > fbdrv | Mode: 0x114 800x600 at 16, RGB: 11(5):5(6):0(5) mode:
>>>> bb
>>>> > > > fbdrv | Mode: 0x115 800x600 at 24, RGB: 16(8):8(8):0(8) mode:
>>>> bb
>>>> > > > fbdrv | Mode: 0x105 1024x768 at 8, RGB: 0(0):0(0):0(0) mode: bb
>>>> > > > fbdrv | Mode: 0x116 1024x768 at 15, RGB: 10(5):5(5):0(5) mode:
>>>> bb
>>>> > > > fbdrv | Mode: 0x117 1024x768 at 16, RGB: 11(5):5(6):0(5) mode:
>>>> bb
>>>> > > > fbdrv | Mode: 0x118 1024x768 at 24, RGB: 16(8):8(8):0(8) mode:
>>>> bb
>>>> > > > fbdrv | Mode: 0x107 1280x1024 at 8, RGB: 0(0):0(0):0(0) mode: bb
>>>> > > > fbdrv | Mode: 0x119 1280x1024 at 15, RGB: 10(5):5(5):0(5) mode:
>>>> bb
>>>> > > > fbdrv | Mode: 0x11a 1280x1024 at 16, RGB: 11(5):5(6):0(5) mode:
>>>> bb
>>>> > > > fbdrv | Choosen mode:
>>>> > > > fbdrv | Mode: 0x11a 1280x1024 at 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 at os.inf.tu-dresden.de
>>>> > > Lackorzynski http://os.inf.tu-dresden.de/~adam/
>>>> > >
>>>> > > _______________________________________________
>>>> > > l4-hackers mailing list
>>>> > > l4-hackers at os.inf.tu-dresden.de
>>>> > > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>>>> > >
>>>>
>>>> > _______________________________________________
>>>> > l4-hackers mailing list
>>>> > l4-hackers at os.inf.tu-dresden.de
>>>> > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>>>>
>>>>
>>>> --
>>>> Matthias Lange, matthias.lange at 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 at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140620/ad3088e4/attachment.html>
More information about the l4-hackers
mailing list