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