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-0001.html>


More information about the l4-hackers mailing list