I modified the demo.run file to use fb_boot_drv and built the uefi image. I tested it on an UP board, a Minnowboard Turbot, a Dell M3800 laptop, and a Dell Precision 5810 desktop. I was unable to get graphical output on any of them. I have pasted the logs for all (except the laptop which has no serial port) below.
Perhaps I need to make more modifications to the run file than I did.
Here is the diff of demo.run:
69c69
< <start name="fb_drv">
---
> <start name="fb_boot_drv">
286c286
< lappend_if [have_spec framebuffer] boot_modules fb_drv
---
> lappend_if [have_spec framebuffer] boot_modules fb_boot_drv
Do you have recommendations for building that might yield better
results?
What systems have you tested the new changes on?
Thanks!
Edward
* UP BOARD ********************************
WARNING: no console will be available to OS
Bender: Hello World.
framebuffer at [80000000+808ca000) 1920x1200@32
framebuffer at [80000000+808ca000) 1920x1200@32
Boot config: parsing cmdline 'sel4 disable_iommu'
Boot config: console_port = 0x3f8
Boot config: debug_port = 0x3f8
Boot config: disable_iommu = true
module #0: start=0xf9b8000 end=0xffff228 size=0x647228 name='image.elf'
Physical Memory Region from 0 size 8f000 type 1
Physical Memory Region from 8f000 size 1000 type 4
Physical Memory Region from 90000 size e000 type 1
Physical Memory Region from 9e000 size 2000 type 2
Physical Memory Region from 100000 size 1ef00000 type 1
Adding physical memory region 0x100000-0x1f000000
Physical Memory Region from 1f000000 size 1200000 type 2
Physical Memory Region from 20200000 size 3af29000 type 1
Physical Memory Region from 5b129000 size 30000 type 2
Physical Memory Region from 5b159000 size 25000 type 3
Physical Memory Region from 5b17e000 size 5d2000 type 4
Physical Memory Region from 5b750000 size 2b9000 type 2
Physical Memory Region from 5ba09000 size 79000 type 20
Physical Memory Region from 5ba82000 size 57e000 type 1
Physical Memory Region from e0000000 size 4000000 type 2
Physical Memory Region from fea00000 size 100000 type 2
Physical Memory Region from fec00000 size 1000 type 2
Physical Memory Region from fed01000 size 1000 type 2
Physical Memory Region from fed03000 size 1000 type 2
Physical Memory Region from fed06000 size 1000 type 2
Physical Memory Region from fed08000 size 2000 type 2
Physical Memory Region from fed1c000 size 1000 type 2
Physical Memory Region from fed80000 size 40000 type 2
Physical Memory Region from fee00000 size 1000 type 2
Physical Memory Region from ffc00000 size 400000 type 2
Got framebuffer info in multiboot2. Current video mode is at physical
address=80000000 pitch=7680 resolution=1920x1200@32 type=1
Detected 1 boot module(s):
Kernel loaded to: start=0x200000 end=0x27e000 size=0x7e000 entry=0x20007e
ACPI: RSDT paddr=0x5b161028
ACPI: RSDT vaddr=0xdfd61028
ACPI: FADT paddr=0x5b1611a8
ACPI: FADT vaddr=0xdfd611a8
ACPI: FADT flags=0x421
ACPI: MADT paddr=0x5b177380
ACPI: MADT vaddr=0xdfd77380
ACPI: MADT apic_addr=0xfee00000
ACPI: MADT flags=0x1
ACPI: MADT_APIC apic_id=0x0
ACPI: MADT_APIC apic_id=0x2
ACPI: MADT_APIC apic_id=0x4
ACPI: MADT_APIC apic_id=0x6
ACPI: MADT_IOAPIC ioapic_id=1 ioapic_addr=0xfec00000 gsib=0
ACPI: MADT_ISO bus=0 source=0 gsi=2 flags=0x0
ACPI: MADT_ISO bus=0 source=9 gsi=9 flags=0xd
ACPI: 4 CPU(s) detected
ELF-loading userland images from boot modules:
size=0xd88000 v_entry=0x2000000 v_start=0x2000000 v_end=0x2d88000
p_start=0x10000000 p_end=0x10d88000
Moving loaded userland images to final location: from=0x10000000 to=0x27e000
size=0xd88000
Starting node #0 with APIC ID 0
Starting node #1 with APIC ID 2
Starting node #2 with APIC ID 4
Starting node #3 with APIC ID 6
Booting all finished, dropped to user space
virtual address layout of core:
overall [00002000,c0000000)
core image [02000000,02d88000)
ipc buffer [02d88000,02d89000)
boot_info [02d89000,02d8b000)
stack area [40000000,50000000)
Warning: need physical memory, but Platform object not constructed yet
Warning: need physical memory, but Platform object not constructed yet
Warning: need physical memory, but Platform object not constructed yet
Warning: need physical memory, but Platform object not constructed yet
:phys_alloc: Allocator 0x2804018 dump:
Block: [00200000,00201000) size=4K avail=0 max_avail=0
Block: [00201000,00202000) size=4K avail=0 max_avail=0
Block: [00202000,00203000) size=4K avail=0 max_avail=0
Block: [00203000,00204000) size=4K avail=0 max_avail=0
Block: [00204000,00205000) size=4K avail=0 max_avail=0
Block: [00205000,00206000) size=4K avail=0 max_avail=0
Block: [00206000,00207000) size=4K avail=0 max_avail=0
Block: [00207000,00208000) size=4K avail=0 max_avail=0
Block: [00208000,00209000) size=4K avail=0 max_avail=0
Block: [00209000,0020a000) size=4K avail=0 max_avail=0
Block: [0020a000,0020b000) size=4K avail=0 max_avail=0
Block: [0020b000,0020c000) size=4K avail=0 max_avail=0
Block: [0020c000,0020d000) size=4K avail=0 max_avail=0
Block: [01006000,01007000) size=4K avail=0 max_avail=0
Block: [01007000,01008000) size=4K avail=0 max_avail=0
Block: [01008000,01009000) size=4K avail=0 max_avail=0
Block: [01009000,0100a000) size=4K avail=0 max_avail=0
Block: [0100a000,0100b000) size=4K avail=0 max_avail=0
Block: [0100b000,0100c000) size=4K avail=0 max_avail=0
Block: [0100c000,0100d000) size=4K avail=0 max_avail=0
Block: [0100d000,0100e000) size=4K avail=0 max_avail=0
Block: [0100e000,0100f000) size=4K avail=0 max_avail=0
Block: [0100f000,01010000) size=4K avail=0 max_avail=0
Block: [01010000,01011000) size=4K avail=0 max_avail=0
Block: [01011000,01012000) size=4K avail=0 max_avail=0
Block: [01012000,01013000) size=4K avail=0 max_avail=0
Block: [01013000,01014000) size=4K avail=0 max_avail=0
Block: [01014000,01015000) size=4K avail=0 max_avail=0
Block: [01015000,01016000) size=4K avail=0 max_avail=0
Block: [01016000,01017000) size=4K avail=0 max_avail=0
Block: [01017000,01018000) size=4K avail=0 max_avail=0
Block: [01018000,01019000) size=4K avail=0 max_avail=0
Block: [01019000,0101a000) size=4K avail=0 max_avail=0
Block: [0101a000,0101b000) size=4K avail=0 max_avail=0
Block: [0101b000,0101c000) size=4K avail=0 max_avail=0
Block: [0101c000,0101d000) size=4K avail=0 max_avail=0
Block: [0101d000,0101e000) size=4K avail=0 max_avail=0
Block: [0101e000,0101f000) size=4K avail=0 max_avail=0
Block: [0101f000,01020000) size=4K avail=0 max_avail=0
Block: [01020000,01021000) size=4K avail=0 max_avail=0
Block: [01021000,01022000) size=4K avail=0 max_avail=0
Block: [01022000,01023000) size=4K avail=0 max_avail=0
Block: [01023000,01024000) size=4K avail=0 max_avail=0
Block: [01024000,01025000) size=4K avail=0 max_avail=0
Block: [01025000,01026000) size=4K avail=0 max_avail=0
Block: [01026000,01027000) size=4K avail=0 max_avail=0
Block: [01027000,01028000) size=4K avail=0 max_avail=0
Block: [01028000,01029000) size=4K avail=0 max_avail=0
Block: [01029000,0102a000) size=4K avail=0 max_avail=0
Block: [0102a000,0102b000) size=4K avail=0 max_avail=400M
Block: [0102b000,0102c000) size=4K avail=0 max_avail=0
Block: [0102c000,0102d000) size=4K avail=0 max_avail=0
Block: [0102d000,0102e000) size=4K avail=0 max_avail=0
Block: [0102e000,0102f000) size=4K avail=0 max_avail=0
Block: [0102f000,01030000) size=4K avail=0 max_avail=0
Block: [01030000,01031000) size=4K avail=0 max_avail=0
Block: [01031000,01032000) size=4K avail=0 max_avail=0
Block: [01032000,01033000) size=4K avail=0 max_avail=0
Block: [01033000,01034000) size=4K avail=0 max_avail=0
Block: [01034000,01035000) size=4K avail=0 max_avail=0
Block: [01035000,01036000) size=4K avail=0 max_avail=0
Block: [01036000,01037000) size=4K avail=0 max_avail=0
Block: [01037000,01038000) size=4K avail=0 max_avail=0
Block: [01038000,01039000) size=4K avail=0 max_avail=0
Block: [01039000,0103a000) size=4K avail=0 max_avail=0
Block: [0103a000,0103b000) size=4K avail=0 max_avail=0
Block: [0103b000,0103c000) size=4K avail=0 max_avail=0
Block: [0103c000,0103d000) size=4K avail=0 max_avail=0
Block: [0103d000,0103e000) size=4K avail=0 max_avail=0
Block: [0103e000,0103f000) size=4K avail=0 max_avail=0
Block: [0103f000,01040000) size=4K avail=0 max_avail=0
Block: [01040000,01041000) size=4K avail=0 max_avail=0
Block: [01041000,01042000) size=4K avail=0 max_avail=0
Block: [01042000,01043000) size=4K avail=0 max_avail=400M
Block: [01043000,01044000) size=4K avail=0 max_avail=0
Block: [01044000,01045000) size=4K avail=0 max_avail=0
Block: [01045000,01046000) size=4K avail=0 max_avail=0
Block: [01046000,01047000) size=4K avail=0 max_avail=0
Block: [01047000,01048000) size=4K avail=0 max_avail=0
Block: [01048000,01049000) size=4K avail=0 max_avail=0
Block: [01049000,0104a000) size=4K avail=0 max_avail=0
Block: [0104a000,0104b000) size=4K avail=0 max_avail=0
Block: [0104b000,0104c000) size=4K avail=0 max_avail=0
Block: [0104c000,0104d000) size=4K avail=0 max_avail=0
Block: [0104d000,0104e000) size=4K avail=0 max_avail=0
Block: [0104e000,0104f000) size=4K avail=0 max_avail=400M
Block: [0104f000,01050000) size=4K avail=0 max_avail=0
Block: [01050000,01051000) size=4K avail=0 max_avail=3764K
Block: [01051000,01052000) size=4K avail=0 max_avail=0
Block: [01052000,01053000) size=4K avail=0 max_avail=3764K
Block: [01053000,01400000) size=3764K avail=3764K max_avail=3764K
Block: [01800000,01801000) size=4K avail=0 max_avail=400M
Block: [01801000,02000000) size=8188K avail=8188K max_avail=8188K
Block: [03000000,1c000000) size=400M avail=400M max_avail=400M
Block: [1e000000,1ebe0000) size=12160K avail=12160K max_avail=12160K
=> mem_size=444493824 (423 MB) / mem_avail=444121088 (423 MB)
:unused_phys_alloc:Allocator 0x28094dc dump:
Block: [00100000,00200000) size=1M avail=1M max_avail=1M
Block: [0020d000,01006000) size=14308K avail=14308K max_avail=14308K
Block: [01400000,01800000) size=4M avail=4M max_avail=4M
Block: [02000000,03000000) size=16M avail=16M max_avail=32M
Block: [1c000000,1e000000) size=32M avail=32M max_avail=32M
Block: [1ebe0000,1f000000) size=4224K avail=4224K max_avail=32M
Block: [fec00000,fec01000) size=4K avail=4K max_avail=4K
Block: [fee00000,fee01000) size=4K avail=4K max_avail=64K
Block: [ffff0000,ffffffff] size=64K avail=64K max_avail=64K
=> mem_size=74625024 (71 MB) / mem_avail=74625024 (71 MB)
:unused_virt_alloc:Allocator 0x280a548 dump:
Block: [00002000,02000000) size=32760K avail=32760K max_avail=32760K
Block: [02d8b000,04d8b000) size=32M avail=0 max_avail=0
Block: [04d8b000,40000000) size=969172K avail=969172K max_avail=1792M
Block: [50000000,c0000000) size=1792M avail=1792M max_avail=1792M
=> mem_size=2938580992 (2802 MB) / mem_avail=2905026560 (2770 MB)
:virt_alloc: Allocator 0x2805084 dump:
Block: [02842000,02843000) size=4K avail=0 max_avail=0
Block: [02843000,02844000) size=4K avail=0 max_avail=0
Block: [02844000,02845000) size=4K avail=0 max_avail=32M
Block: [02845000,02846000) size=4K avail=0 max_avail=0
Block: [02846000,02d88000) size=5384K avail=5384K max_avail=32M
Block: [02d8b000,04d8b000) size=32M avail=32M max_avail=32M
=> mem_size=39084032 (37 MB) / mem_avail=39067648 (37 MB)
:io_mem_alloc: Allocator 0x28060fc dump:
Block: [00000000,00100000) size=1M avail=1M max_avail=1M
Block: [1f000000,fec00000) size=3580M avail=3580M max_avail=3580M
Block: [fec01000,fee00000) size=2044K avail=2044K max_avail=18364K
Block: [fee01000,ffff0000) size=18364K avail=18364K max_avail=18364K
=> mem_size=3775848448 (3600 MB) / mem_avail=3775848448 (3600 MB)
boot module 'acpi_drv' (96740 bytes)
boot module 'nit_focus' (73404 bytes)
boot module 'status_bar' (114128 bytes)
boot module 'init' (254840 bytes)
boot module 'platform_drv' (285668 bytes)
boot module 'ps2_drv' (119592 bytes)
boot module 'testnit' (84060 bytes)
boot module 'global_keys_handler' (127104 bytes)
boot module 'config' (7526 bytes)
boot module 'launchpad.config' (594 bytes)
boot module 'ld.lib.so' (702836 bytes)
boot module 'rom_filter' (91040 bytes)
boot module 'timer' (89820 bytes)
boot module 'pointer' (129336 bytes)
boot module 'report_rom' (101204 bytes)
boot module 'nitpicker' (296548 bytes)
boot module 'scout' (1703900 bytes)
boot module 'fb_boot_drv' (100756 bytes)
boot module 'liquid_fb' (249004 bytes)
boot module 'launchpad' (740628 bytes)
boot module 'nitlog' (124752 bytes)
Warning: need physical memory, but Platform object not constructed yet
Warning: need physical memory, but Platform object not constructed yet
Genode 17.11
423 MiB RAM and 261141 caps assigned to init
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x1
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x2
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x4
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x8
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x10
[init] child "timer" announces service "Timer"
Warning: mapping failed 0x21aa000 -> 0xb8000
Warning: mapping failed 0x21b7000 -> 0xc5000
Warning: mapping failed 0x2154000 -> 0x62000
[init] child "nitpicker_config" announces service "ROM"
[init] child "acpi_report_rom" announces service "Report"
[init] child "acpi_report_rom" announces service "ROM"
[init -> fb_boot_drv] Framebuffer with 1920x1200x32 @ 0x80000000 type=1
pitch=7680
[init] child "report_rom" announces service "Report"
[init -> fb_boot_drv] resource_request: ram_quota=4612096
[init] child "report_rom" announces service "ROM"
[init] child "fb_boot_drv" requests resources: ram_quota=4612096
[init -> nitpicker_config] Warning: top-level node <xray> missing in input ROM
xray
[init -> nitpicker_config] Warning: could not obtain input value for input
xray_enabled
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x20
[init -> acpi_drv] Found MADT
[init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0
[init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: 13
[init -> acpi_drv] Found MCFG
[init -> acpi_drv] MCFG BASE 0xe0000000 seg 0x0 bus 0x0-0xff
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x40
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x80
[init] child "platform_drv" announces service "Platform"
[init -> ps2_drv] Error: no data available
[init -> ps2_drv] Error: no data available
[init -> ps2_drv] i8042: self test failed (0x23)
[init -> ps2_drv] Error: failed to read from port
[init -> ps2_drv] Warning: scan code setting not supported
[init -> ps2_drv] Using keyboard with scan code set 1
[init -> ps2_drv] Error: failed to read from port
[init -> ps2_drv] Warning: could not reset mouse (missing ack)
[init -> ps2_drv] Error: failed to read from port
[init -> ps2_drv] Warning: could not reset mouse (unexpected response)
[init -> ps2_drv] Error: failed to read from port
[init -> ps2_drv] Error: failed to read from port
[init -> ps2_drv] Warning: could not enable stream
[init -> ps2_drv] Error: failed to read from port
[init -> ps2_drv] Error: failed to read from port
[init -> ps2_drv] Error: failed to read from port
[init -> platform_drv] PS2 uses IRQ, vector 0x1
[init -> platform_drv] PS2 uses IRQ, vector 0xc
[init -> ps2_drv] Error: failed to read from port
[init -> ps2_drv] Warning: setting of mode indicators failed (0xed)
[init -> ps2_drv] Error: failed to read from port
[init -> ps2_drv] Warning: setting of mode indicators failed (0xed)
[init -> ps2_drv] Error: failed to read from port
[init -> ps2_drv] Warning: setting of mode indicators failed (0xed)
[init] child "ps2_drv" announces service "Input"
* MinnowBoard ***********************************
WARNING: no console will be available to OS
Bender: Hello World.
Boot config: parsing cmdline ''
Boot config: console_port = 0x3f8
Boot config: debug_port = 0x3f8
Boot config: disable_iommu = false
Boot config: parsing cmdline 'sel4 disable_iommu'
Booting `Genode on seL4'
WARNING: no console will be available to OS
Bender: Hello World.
framebuffer at [80000000+808ca000) 1920x1200@32
framebuffer at [80000000+808ca000) 1920x1200@32
Boot config: parsing cmdline 'sel4 disable_iommu'
Boot config: console_port = 0x3f8
Boot config: debug_port = 0x3f8
Boot config: disable_iommu = true
module #0: start=0xf9b8000 end=0xffff228 size=0x647228 name='image.elf'
Physical Memory Region from 0 size 8f000 type 1
Physical Memory Region from 8f000 size 1000 type 4
Physical Memory Region from 90000 size e000 type 1
Physical Memory Region from 9e000 size 62000 type 2
Physical Memory Region from 100000 size 1ff00000 type 1
Adding physical memory region 0x100000-0x1f800000
Physical Memory Region from 20000000 size 100000 type 2
Physical Memory Region from 20100000 size 587d1000 type 1
Physical Memory Region from 788d1000 size 100000 type 2
Physical Memory Region from 789d1000 size 200000 type 20
Physical Memory Region from 78bd1000 size 600000 type 2
Physical Memory Region from 791d1000 size 100000 type 4
Physical Memory Region from 792d1000 size 40000 type 3
Physical Memory Region from 79311000 size cef000 type 1
Physical Memory Region from 7a000000 size 800000 type 2
Physical Memory Region from 7ae00000 size 5200000 type 2
Physical Memory Region from e00f8000 size 1000 type 2
Physical Memory Region from fed01000 size 1000 type 2
Got framebuffer info in multiboot2. Current video mode is at physical
address=80000000 pitch=7680 resolution=1920x1200@32 type=1
Detected 1 boot module(s):
Kernel loaded to: start=0x200000 end=0x27e000 size=0x7e000 entry=0x20007e
ACPI: RSDT paddr=0x7930f074
ACPI: RSDT vaddr=0xdff0f074
ACPI: FADT paddr=0x7930e000
ACPI: FADT vaddr=0xdff0e000
ACPI: FADT flags=0x4a1
ACPI: MADT paddr=0x7930b000
ACPI: MADT vaddr=0xdff0b000
ACPI: MADT apic_addr=0xfee00000
ACPI: MADT flags=0x1
ACPI: MADT_APIC apic_id=0x0
ACPI: MADT_APIC apic_id=0x4
ACPI: MADT_IOAPIC ioapic_id=2 ioapic_addr=0xfec00000 gsib=0
ACPI: MADT_ISO bus=0 source=0 gsi=2 flags=0x0
ACPI: MADT_ISO bus=0 source=9 gsi=9 flags=0xd
ACPI: 2 CPU(s) detected
ELF-loading userland images from boot modules:
size=0xd88000 v_entry=0x2000000 v_start=0x2000000 v_end=0x2d88000
p_start=0x10000000 p_end=0x10d88000
Moving loaded userland images to final location: from=0x10000000 to=0x27e000
size=0xd88000
Starting node #0 with APIC ID 0
Starting node #1 with APIC ID 4
Booting all finished, dropped to user space
virtual address layout of core:
overall [00002000,c0000000)
core image [02000000,02d88000)
ipc buffer [02d88000,02d89000)
boot_info [02d89000,02d8b000)
stack area [40000000,50000000)
Warning: need physical memory, but Platform object not constructed yet
Warning: need physical memory, but Platform object not constructed yet
:phys_alloc: Allocator 0x2804018 dump:
Block: [00200000,00201000) size=4K avail=0 max_avail=0
Block: [00201000,00202000) size=4K avail=0 max_avail=0
Block: [00202000,00203000) size=4K avail=0 max_avail=0
Block: [00203000,00204000) size=4K avail=0 max_avail=0
Block: [00204000,00205000) size=4K avail=0 max_avail=0
Block: [00205000,00206000) size=4K avail=0 max_avail=0
Block: [00206000,00207000) size=4K avail=0 max_avail=0
Block: [00207000,00208000) size=4K avail=0 max_avail=0
Block: [00208000,00209000) size=4K avail=0 max_avail=0
Block: [00209000,0020a000) size=4K avail=0 max_avail=0
Block: [0020a000,0020b000) size=4K avail=0 max_avail=0
Block: [0020b000,0020c000) size=4K avail=0 max_avail=0
Block: [0020c000,0020d000) size=4K avail=0 max_avail=0
Block: [01006000,01007000) size=4K avail=0 max_avail=0
Block: [01007000,01008000) size=4K avail=0 max_avail=0
Block: [01008000,01009000) size=4K avail=0 max_avail=0
Block: [01009000,0100a000) size=4K avail=0 max_avail=0
Block: [0100a000,0100b000) size=4K avail=0 max_avail=0
Block: [0100b000,0100c000) size=4K avail=0 max_avail=0
Block: [0100c000,0100d000) size=4K avail=0 max_avail=0
Block: [0100d000,0100e000) size=4K avail=0 max_avail=0
Block: [0100e000,0100f000) size=4K avail=0 max_avail=0
Block: [0100f000,01010000) size=4K avail=0 max_avail=0
Block: [01010000,01011000) size=4K avail=0 max_avail=0
Block: [01011000,01012000) size=4K avail=0 max_avail=0
Block: [01012000,01013000) size=4K avail=0 max_avail=0
Block: [01013000,01014000) size=4K avail=0 max_avail=0
Block: [01014000,01015000) size=4K avail=0 max_avail=0
Block: [01015000,01016000) size=4K avail=0 max_avail=0
Block: [01016000,01017000) size=4K avail=0 max_avail=0
Block: [01017000,01018000) size=4K avail=0 max_avail=0
Block: [01018000,01019000) size=4K avail=0 max_avail=0
Block: [01019000,0101a000) size=4K avail=0 max_avail=0
Block: [0101a000,0101b000) size=4K avail=0 max_avail=0
Block: [0101b000,0101c000) size=4K avail=0 max_avail=0
Block: [0101c000,0101d000) size=4K avail=0 max_avail=0
Block: [0101d000,0101e000) size=4K avail=0 max_avail=0
Block: [0101e000,0101f000) size=4K avail=0 max_avail=0
Block: [0101f000,01020000) size=4K avail=0 max_avail=0
Block: [01020000,01021000) size=4K avail=0 max_avail=0
Block: [01021000,01022000) size=4K avail=0 max_avail=0
Block: [01022000,01023000) size=4K avail=0 max_avail=0
Block: [01023000,01024000) size=4K avail=0 max_avail=0
Block: [01024000,01025000) size=4K avail=0 max_avail=0
Block: [01025000,01026000) size=4K avail=0 max_avail=434172K
Block: [01026000,01027000) size=4K avail=0 max_avail=0
Block: [01027000,01028000) size=4K avail=0 max_avail=0
Block: [01028000,01029000) size=4K avail=0 max_avail=0
Block: [01029000,0102a000) size=4K avail=0 max_avail=0
Block: [0102a000,0102b000) size=4K avail=0 max_avail=0
Block: [0102b000,0102c000) size=4K avail=0 max_avail=0
Block: [0102c000,0102d000) size=4K avail=0 max_avail=0
Block: [0102d000,0102e000) size=4K avail=0 max_avail=0
Block: [0102e000,0102f000) size=4K avail=0 max_avail=0
Block: [0102f000,01030000) size=4K avail=0 max_avail=0
Block: [01030000,01031000) size=4K avail=0 max_avail=0
Block: [01031000,01032000) size=4K avail=0 max_avail=0
Block: [01032000,01033000) size=4K avail=0 max_avail=0
Block: [01033000,01034000) size=4K avail=0 max_avail=0
Block: [01034000,01035000) size=4K avail=0 max_avail=0
Block: [01035000,01036000) size=4K avail=0 max_avail=0
Block: [01036000,01037000) size=4K avail=0 max_avail=0
Block: [01037000,01038000) size=4K avail=0 max_avail=0
Block: [01038000,01039000) size=4K avail=0 max_avail=0
Block: [01039000,0103a000) size=4K avail=0 max_avail=0
Block: [0103a000,0103b000) size=4K avail=0 max_avail=0
Block: [0103b000,0103c000) size=4K avail=0 max_avail=0
Block: [0103c000,0103d000) size=4K avail=0 max_avail=0
Block: [0103d000,0103e000) size=4K avail=0 max_avail=434172K
Block: [0103e000,0103f000) size=4K avail=0 max_avail=0
Block: [0103f000,01040000) size=4K avail=0 max_avail=0
Block: [01040000,01041000) size=4K avail=0 max_avail=0
Block: [01041000,01042000) size=4K avail=0 max_avail=0
Block: [01042000,01043000) size=4K avail=0 max_avail=0
Block: [01043000,01044000) size=4K avail=0 max_avail=0
Block: [01044000,01045000) size=4K avail=0 max_avail=0
Block: [01045000,01046000) size=4K avail=0 max_avail=0
Block: [01046000,01047000) size=4K avail=0 max_avail=0
Block: [01047000,01048000) size=4K avail=0 max_avail=0
Block: [01048000,01049000) size=4K avail=0 max_avail=0
Block: [01049000,0104a000) size=4K avail=0 max_avail=434172K
Block: [0104a000,0104b000) size=4K avail=0 max_avail=0
Block: [0104b000,0104c000) size=4K avail=0 max_avail=0
Block: [0104c000,0104d000) size=4K avail=0 max_avail=0
Block: [0104d000,0104e000) size=4K avail=0 max_avail=3780K
Block: [0104e000,0104f000) size=4K avail=0 max_avail=0
Block: [0104f000,01400000) size=3780K avail=3780K max_avail=3780K
Block: [01800000,01801000) size=4K avail=0 max_avail=434172K
Block: [01801000,1c000000) size=434172K avail=434172K max_avail=434172K
Block: [1f000000,1f3e0000) size=3968K avail=3968K max_avail=3968K
=> mem_size=452882432 (431 MB) / mem_avail=452526080 (431 MB)
:unused_phys_alloc:Allocator 0x28094dc dump:
Block: [00100000,00200000) size=1M avail=1M max_avail=1M
Block: [0020d000,01006000) size=14308K avail=14308K max_avail=14308K
Block: [01400000,01800000) size=4M avail=4M max_avail=4M
Block: [1c000000,1f000000) size=48M avail=48M max_avail=48M
Block: [1f3e0000,1f800000) size=4224K avail=4224K max_avail=4224K
Block: [fec00000,fec01000) size=4K avail=4K max_avail=4224K
Block: [fee00000,fee01000) size=4K avail=4K max_avail=64K
Block: [ffff0000,ffffffff] size=64K avail=64K max_avail=64K
=> mem_size=74625024 (71 MB) / mem_avail=74625024 (71 MB)
:unused_virt_alloc:Allocator 0x280a548 dump:
Block: [00002000,02000000) size=32760K avail=32760K max_avail=32760K
Block: [02d8b000,04d8b000) size=32M avail=0 max_avail=0
Block: [04d8b000,40000000) size=969172K avail=969172K max_avail=1792M
Block: [50000000,c0000000) size=1792M avail=1792M max_avail=1792M
=> mem_size=2938580992 (2802 MB) / mem_avail=2905026560 (2770 MB)
:virt_alloc: Allocator 0x2805084 dump:
Block: [02842000,02843000) size=4K avail=0 max_avail=0
Block: [02843000,02844000) size=4K avail=0 max_avail=0
Block: [02844000,02d88000) size=5392K avail=5392K max_avail=32M
Block: [02d8b000,04d8b000) size=32M avail=32M max_avail=32M
=> mem_size=39084032 (37 MB) / mem_avail=39075840 (37 MB)
:io_mem_alloc: Allocator 0x28060fc dump:
Block: [00000000,00100000) size=1M avail=1M max_avail=1M
Block: [1f800000,fec00000) size=3572M avail=3572M max_avail=3572M
Block: [fec01000,fee00000) size=2044K avail=2044K max_avail=18364K
Block: [fee01000,ffff0000) size=18364K avail=18364K max_avail=18364K
=> mem_size=3767459840 (3592 MB) / mem_avail=3767459840 (3592 MB)
boot module 'acpi_drv' (96740 bytes)
boot module 'nit_focus' (73404 bytes)
boot module 'status_bar' (114128 bytes)
boot module 'init' (254840 bytes)
boot module 'platform_drv' (285668 bytes)
boot module 'ps2_drv' (119592 bytes)
boot module 'testnit' (84060 bytes)
boot module 'global_keys_handler' (127104 bytes)
boot module 'config' (7526 bytes)
boot module 'launchpad.config' (594 bytes)
boot module 'ld.lib.so' (702836 bytes)
boot module 'rom_filter' (91040 bytes)
boot module 'timer' (89820 bytes)
boot module 'pointer' (129336 bytes)
boot module 'report_rom' (101204 bytes)
boot module 'nitpicker' (296548 bytes)
boot module 'scout' (1703900 bytes)
boot module 'fb_boot_drv' (100756 bytes)
boot module 'liquid_fb' (249004 bytes)
boot module 'launchpad' (740628 bytes)
boot module 'nitlog' (124752 bytes)
Warning: need physical memory, but Platform object not constructed yet
Genode 17.11
431 MiB RAM and 261141 caps assigned to init
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x1
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x2
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x4
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x8
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x10
[init] child "acpi_report_rom" announces service "Report"
[init] child "acpi_report_rom" announces service "ROM"
[init] child "timer" announces service "Timer"
Warning: mapping failed 0x1c1aa000 -> 0xb8000
Warning: mapping failed 0x1c1b7000 -> 0xc5000
[init] child "report_rom" announces service "Report"
Warning: mapping failed 0x1c154000 -> 0x62000
[init] child "nitpicker_config" announces service "ROM"
Warning: mapping failed 0x1c172000 -> 0x80000
[init] child "report_rom" announces service "ROM"
[init -> fb_boot_drv] Framebuffer with 1920x1200x32 @ 0x80000000 type=1
pitch=7680
[init -> fb_boot_drv] resource_request: ram_quota=4612096
[init] child "fb_boot_drv" requests resources: ram_quota=4612096
[init -> nitpicker_config] Warning: top-level node <xray> missing in input ROM
xray
[init -> nitpicker_config] Warning: could not obtain input value for input
xray_enabled
[init -> acpi_drv] Found MADT
[init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0
[init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: 13
[init -> acpi_drv] Found MCFG
[init -> acpi_drv] MCFG BASE 0xe0000000 seg 0x0 bus 0x0-0x3f
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x20
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x40
[init] child "platform_drv" announces service "Platform"
* Dell Precision 5810 **************************************
Bender: Hello World.
framebuffer at [f1000000+f1300000) 1024x768@32
framebuffer at [f1000000+f1300000) 1024x768@32
Boot config: parsing cmdline 'sel4 disable_iommu'
Boot config: console_port = 0x3f8
Boot config: debug_port = 0x3f8
Boot config: disable_iommu = true
module #0: start=0xf9b8000 end=0xffff228 size=0x647228 name='image.elf'
Physical Memory Region from 0 size a0000 type 1
Physical Memory Region from 100000 size 997ae000 type 1
Adding physical memory region 0x100000-0x1f800000
Physical Memory Region from 998ae000 size 9ac000 type 2
Physical Memory Region from 9a25a000 size 49000 type 3
Physical Memory Region from 9a2a3000 size c71000 type 4
Physical Memory Region from 9af14000 size 492000 type 2
Physical Memory Region from 9b3a6000 size 65000 type 20
Physical Memory Region from 9b40b000 size 1000 type 1
Physical Memory Region from 9b40c000 size e000 type 2
Physical Memory Region from 9b41a000 size 1be6000 type 1
Physical Memory Region from a0000000 size 10000000 type 2
Physical Memory Region from fed1c000 size 4000 type 2
Physical Memory Region from ff000000 size 1000000 type 2
Physical Memory Region from 1000000000 size 1760000000 type 1
Physical memory region not addressable
Adding physical memory region 0x0-0x1f800000
seL4 failed assertion '!p_region_overlaps(reg)' at
/home/esandberg/projects/embedded/genode-17.11/genode-17.11/contrib/sel4-097171f475bff21223783e130445b9be6b3d1bb4/src/kernel/sel4/src/arn
halting...
Kernel entry via Interrupt, irq 0
--
On Thu, Nov 30, 2017 at 10:40:21PM +0100, Alexander Boettcher wrote:
> Hello,
>
> On 02.10.2017 11:05, Alexander Boettcher wrote:
> > The fb_boot_drv component could work with seL4 in UEFI mode (it does
> > with Genode/NOVA), but unfortunately the information about the
> > framebuffer location, size, color depth etc. are not propagated through
> > the seL4 kernel to the roottask (and from there to the fb_boot_drv
> > component).
>
> we changed the 'could work' to 'supposed to work' (for me personally
> 'does work') with today's Genode 17.11 release [0]. We extended the seL4
> kernel to propagate the framebuffer information provided by GRUB2@UEFI
> via Multiboot2 to user-land. On Genode now our simple fb_boot_drv
> framebuffer driver can make use it. The seL4 kernel patch got already
> pushed for review and inclusion if appropriate [2].
>
> Edward, maybe you can give the new Genode release a spin regarding seL4
> & UEFI and graphical output on your available machines using the
> fb_boot_drv driver.
>
> Thanks,
>
> Alex.
>
> [0] https://genode.org/documentation/release-notes/17.11
> [1] https://github.com/seL4/seL4/pull/77
>
> >
> >
> > Alex.
> >
> >
> > On 29.09.2017 18:07, Edward Sandberg wrote:
> >> Hello,
> >>
> >> I built Genode 17.08 with run option "image/uefi" and platform option
> >> "sel4_x86_32". I have tried booting the resulting image on a variety of
> >> machines but am not getting the behavior I expect. The machines I have
> >> tried are:
> >>
> >> * Up board (a Windows compatible Atom-based system)
> >> * Dell M3800 laptop
> >> * Dell Latitude 7280 laptop
> >> * HP ProLiant DL380 Gen9 Server
> >> * Dell Optoplex 990
> >> * Asus P9X79 WS Motherboard with Intel Core i7-3930K
> >>
> >> The furthest I have gotten was on the UP board, which only supports UEFI
> >> boot:
> >>
> >> https://www.intel.com/content/www/us/en/support/emerging-technologies/intel-realsense-technology/000022699.html
> >>
> >> I saw serial output but no graphical output (see below). The other
> >> machines I tried to boot on didn't even give me serial output. The
> >> serial output seems to indicate that an attempt to create a framebuffer
> >> failed.
> >>
> >> Is this the correct build procedure?
> >> What hardware have you used to test UEFI boot?
> >> Does the trace below suggest any experiments to try?
> >>
> >> *****************************************************************
> >>
> >> WARNING: no console will be available to OS
> >> Bender: Hello World.
> >>
> >> Boot config: parsing cmdline ''
> >> Boot config: console_port = 0x3f8
> >> Boot config: debug_port = 0x3f8
> >> Boot config: disable_iommu = false
> >>
> >> Boot config: parsing cmdline 'sel4 disable_iommu'
> >> Boot config: console_port = 0x3f8
> >> Boot config: debug_port = 0x3f8
> >> Boot config: disable_iommu = true
> >> module #0: start=0xeaba000 end=0xf0ff968 size=0x645968 name='image.elf'
> >> Physical Memory Region from 0 size 8f000 type 1
> >> Physical Memory Region from 8f000 size 1000 type 4
> >> Physical Memory Region from 90000 size e000 type 1
> >> Physical Memory Region from 9e000 size 2000 type 2
> >> Physical Memory Region from 100000 size 1ef00000 type 1
> >> Adding physical memory region 0x100000-0x1f000000
> >> Physical Memory Region from 1f000000 size 1200000 type 2
> >> Physical Memory Region from 20200000 size 3af29000 type 1
> >> Physical Memory Region from 5b129000 size 30000 type 2
> >> Physical Memory Region from 5b159000 size 25000 type 3
> >> Physical Memory Region from 5b17e000 size 5d2000 type 4
> >> Physical Memory Region from 5b750000 size 2b9000 type 2
> >> Physical Memory Region from 5ba09000 size 79000 type 20
> >> Physical Memory Region from 5ba82000 size 57e000 type 1
> >> Physical Memory Region from e0000000 size 4000000 type 2
> >> Physical Memory Region from fea00000 size 100000 type 2
> >> Physical Memory Region from fec00000 size 1000 type 2
> >> Physical Memory Region from fed01000 size 1000 type 2
> >> Physical Memory Region from fed03000 size 1000 type 2
> >> Physical Memory Region from fed06000 size 1000 type 2
> >> Physical Memory Region from fed08000 size 2000 type 2
> >> Physical Memory Region from fed1c000 size 1000 type 2
> >> Physical Memory Region from fed80000 size 40000 type 2
> >> Physical Memory Region from fee00000 size 1000 type 2
> >> Physical Memory Region from ffc00000 size 400000 type 2
> >> Kernel loaded to: start=0x200000 end=0x281000 size=0x81000 entry=0x20007e
> >> ACPI: RSDP paddr=0x3c490
> >> ACPI: RSDP vaddr=0xdfc3c490
> >> ACPI: RSDT paddr=0x5b161028
> >> ACPI: RSDT vaddr=0xdfd61028
> >> ACPI: FADT paddr=0x5b1611a8
> >> ACPI: FADT vaddr=0xdfd611a8
> >> ACPI: FADT flags=0x421
> >> ACPI: MADT paddr=0x5b177380
> >> ACPI: MADT vaddr=0xdfd77380
> >> ACPI: MADT apic_addr=0xfee00000
> >> ACPI: MADT flags=0x1
> >> ACPI: MADT_APIC apic_id=0x0
> >> ACPI: MADT_APIC apic_id=0x2
> >> ACPI: MADT_APIC apic_id=0x4
> >> ACPI: MADT_APIC apic_id=0x6
> >> ACPI: MADT_IOAPIC ioapic_id=1 ioapic_addr=0xfec00000 gsib=0
> >> ACPI: MADT_ISO bus=0 source=0 gsi=2 flags=0x0
> >> ACPI: MADT_ISO bus=0 source=9 gsi=9 flags=0xd
> >> ACPI: 4 CPU(s) detected
> >> Detected 1 boot module(s):
> >> ELF-loading userland images from boot modules:
> >> size=0xd87000 v_entry=0x2000000 v_start=0x2000000 v_end=0x2d87000
> >> p_start=0xf100000 p_end=0xfe87000
> >> Moving loaded userland images to final location: from=0xf100000
> >> to=0x281000 size=0xd87000
> >> Starting node #0 with APIC ID 0
> >>
> >> Starting node #1 with APIC ID 2
> >> Starting node #2 with APIC ID 4
> >> Starting node #3 with APIC ID 6
> >> Booting all finished, dropped to user space
> >> virtual address layout of core:
> >> overall [00002000,c0000000)
> >> core image [02000000,02d87000)
> >> ipc buffer [02d87000,02d88000)
> >> boot_info [02d88000,02d8a000)
> >> stack area [40000000,50000000)
> >> Warning: need physical memory, but Platform object not constructed yet
> >> Warning: need physical memory, but Platform object not constructed yet
> >> Warning: need physical memory, but Platform object not constructed yet
> >> Warning: need physical memory, but Platform object not constructed yet
> >> :phys_alloc: Allocator 0x2800df8 dump:
> >> Block: [00200000,00201000) size=4K avail=0 max_avail=0
> >> Block: [00201000,00202000) size=4K avail=0 max_avail=0
> >> Block: [00202000,00203000) size=4K avail=0 max_avail=0
> >> Block: [00203000,00204000) size=4K avail=0 max_avail=0
> >> Block: [00204000,00205000) size=4K avail=0 max_avail=0
> >> Block: [00205000,00206000) size=4K avail=0 max_avail=0
> >> Block: [00206000,00207000) size=4K avail=0 max_avail=0
> >> Block: [00207000,00208000) size=4K avail=0 max_avail=0
> >> Block: [00208000,00209000) size=4K avail=0 max_avail=0
> >> Block: [00209000,0020a000) size=4K avail=0 max_avail=0
> >> Block: [0020a000,0020b000) size=4K avail=0 max_avail=0
> >> Block: [0020b000,0020c000) size=4K avail=0 max_avail=0
> >> Block: [0020c000,0020d000) size=4K avail=0 max_avail=0
> >> Block: [01008000,01009000) size=4K avail=0 max_avail=0
> >> Block: [01009000,0100a000) size=4K avail=0 max_avail=0
> >> Block: [0100a000,0100b000) size=4K avail=0 max_avail=0
> >> Block: [0100b000,0100c000) size=4K avail=0 max_avail=0
> >> Block: [0100c000,0100d000) size=4K avail=0 max_avail=0
> >> Block: [0100d000,0100e000) size=4K avail=0 max_avail=0
> >> Block: [0100e000,0100f000) size=4K avail=0 max_avail=0
> >> Block: [0100f000,01010000) size=4K avail=0 max_avail=0
> >> Block: [01010000,01011000) size=4K avail=0 max_avail=0
> >> Block: [01011000,01012000) size=4K avail=0 max_avail=0
> >> Block: [01012000,01013000) size=4K avail=0 max_avail=0
> >> Block: [01013000,01014000) size=4K avail=0 max_avail=0
> >> Block: [01014000,01015000) size=4K avail=0 max_avail=0
> >> Block: [01015000,01016000) size=4K avail=0 max_avail=0
> >> Block: [01016000,01017000) size=4K avail=0 max_avail=0
> >> Block: [01017000,01018000) size=4K avail=0 max_avail=0
> >> Block: [01018000,01019000) size=4K avail=0 max_avail=0
> >> Block: [01019000,0101a000) size=4K avail=0 max_avail=0
> >> Block: [0101a000,0101b000) size=4K avail=0 max_avail=0
> >> Block: [0101b000,0101c000) size=4K avail=0 max_avail=0
> >> Block: [0101c000,0101d000) size=4K avail=0 max_avail=0
> >> Block: [0101d000,0101e000) size=4K avail=0 max_avail=0
> >> Block: [0101e000,0101f000) size=4K avail=0 max_avail=0
> >> Block: [0101f000,01020000) size=4K avail=0 max_avail=0
> >> Block: [01020000,01021000) size=4K avail=0 max_avail=0
> >> Block: [01021000,01022000) size=4K avail=0 max_avail=0
> >> Block: [01022000,01023000) size=4K avail=0 max_avail=0
> >> Block: [01023000,01024000) size=4K avail=0 max_avail=0
> >> Block: [01024000,01025000) size=4K avail=0 max_avail=0
> >> Block: [01025000,01026000) size=4K avail=0 max_avail=0
> >> Block: [01026000,01027000) size=4K avail=0 max_avail=0
> >> Block: [01027000,01028000) size=4K avail=0 max_avail=0
> >> Block: [01028000,01029000) size=4K avail=0 max_avail=0
> >> Block: [01029000,0102a000) size=4K avail=0 max_avail=0
> >> Block: [0102a000,0102b000) size=4K avail=0 max_avail=0
> >> Block: [0102b000,0102c000) size=4K avail=0 max_avail=0
> >> Block: [0102c000,0102d000) size=4K avail=0 max_avail=400M
> >> Block: [0102d000,0102e000) size=4K avail=0 max_avail=0
> >> Block: [0102e000,0102f000) size=4K avail=0 max_avail=0
> >> Block: [0102f000,01030000) size=4K avail=0 max_avail=0
> >> Block: [01030000,01031000) size=4K avail=0 max_avail=0
> >> Block: [01031000,01032000) size=4K avail=0 max_avail=0
> >> Block: [01032000,01033000) size=4K avail=0 max_avail=0
> >> Block: [01033000,01034000) size=4K avail=0 max_avail=0
> >> Block: [01034000,01035000) size=4K avail=0 max_avail=0
> >> Block: [01035000,01036000) size=4K avail=0 max_avail=0
> >> Block: [01036000,01037000) size=4K avail=0 max_avail=0
> >> Block: [01037000,01038000) size=4K avail=0 max_avail=0
> >> Block: [01038000,01039000) size=4K avail=0 max_avail=0
> >> Block: [01039000,0103a000) size=4K avail=0 max_avail=0
> >> Block: [0103a000,0103b000) size=4K avail=0 max_avail=0
> >> Block: [0103b000,0103c000) size=4K avail=0 max_avail=0
> >> Block: [0103c000,0103d000) size=4K avail=0 max_avail=0
> >> Block: [0103d000,0103e000) size=4K avail=0 max_avail=0
> >> Block: [0103e000,0103f000) size=4K avail=0 max_avail=0
> >> Block: [0103f000,01040000) size=4K avail=0 max_avail=0
> >> Block: [01040000,01041000) size=4K avail=0 max_avail=0
> >> Block: [01041000,01042000) size=4K avail=0 max_avail=0
> >> Block: [01042000,01043000) size=4K avail=0 max_avail=0
> >> Block: [01043000,01044000) size=4K avail=0 max_avail=0
> >> Block: [01044000,01045000) size=4K avail=0 max_avail=400M
> >> Block: [01045000,01046000) size=4K avail=0 max_avail=0
> >> Block: [01046000,01047000) size=4K avail=0 max_avail=0
> >> Block: [01047000,01048000) size=4K avail=0 max_avail=0
> >> Block: [01048000,01049000) size=4K avail=0 max_avail=0
> >> Block: [01049000,0104a000) size=4K avail=0 max_avail=0
> >> Block: [0104a000,0104b000) size=4K avail=0 max_avail=0
> >> Block: [0104b000,0104c000) size=4K avail=0 max_avail=0
> >> Block: [0104c000,0104d000) size=4K avail=0 max_avail=0
> >> Block: [0104d000,0104e000) size=4K avail=0 max_avail=0
> >> Block: [0104e000,0104f000) size=4K avail=0 max_avail=0
> >> Block: [0104f000,01050000) size=4K avail=0 max_avail=0
> >> Block: [01050000,01051000) size=4K avail=0 max_avail=400M
> >> Block: [01051000,01052000) size=4K avail=0 max_avail=0
> >> Block: [01052000,01053000) size=4K avail=0 max_avail=3756K
> >> Block: [01053000,01054000) size=4K avail=0 max_avail=0
> >> Block: [01054000,01055000) size=4K avail=0 max_avail=3756K
> >> Block: [01055000,01400000) size=3756K avail=3756K max_avail=3756K
> >> Block: [01800000,01801000) size=4K avail=0 max_avail=400M
> >> Block: [01801000,02000000) size=8188K avail=8188K max_avail=8188K
> >> Block: [03000000,1c000000) size=400M avail=400M max_avail=400M
> >> Block: [1e000000,1ebe0000) size=12160K avail=12160K max_avail=12160K
> >> => mem_size=444485632 (423 MB) / mem_avail=444112896 (423 MB)
> >>
> >> :unused_phys_alloc:Allocator 0x28063b8 dump:
> >> Block: [00100000,00200000) size=1M avail=1M max_avail=1M
> >> Block: [0020d000,01008000) size=14316K avail=14316K max_avail=14316K
> >> Block: [01400000,01800000) size=4M avail=4M max_avail=4M
> >> Block: [02000000,03000000) size=16M avail=16M max_avail=32M
> >> Block: [1c000000,1e000000) size=32M avail=32M max_avail=32M
> >> Block: [1ebe0000,1f000000) size=4224K avail=4224K max_avail=32M
> >> Block: [fec00000,fec01000) size=4K avail=4K max_avail=4K
> >> Block: [fee00000,fee01000) size=4K avail=4K max_avail=64K
> >> Block: [ffff0000,ffffffff] size=64K avail=64K max_avail=64K
> >> => mem_size=74633216 (71 MB) / mem_avail=74633216 (71 MB)
> >>
> >> :unused_virt_alloc:Allocator 0x2807424 dump:
> >> Block: [00002000,02000000) size=32760K avail=32760K max_avail=32760K
> >> Block: [02d8a000,04d8a000) size=32M avail=0 max_avail=0
> >> Block: [04d8a000,40000000) size=969176K avail=969176K max_avail=1792M
> >> Block: [50000000,c0000000) size=1792M avail=1792M max_avail=1792M
> >> => mem_size=2938585088 (2802 MB) / mem_avail=2905030656 (2770 MB)
> >>
> >> :virt_alloc: Allocator 0x2801e64 dump:
> >> Block: [0283e000,0283f000) size=4K avail=0 max_avail=0
> >> Block: [0283f000,02840000) size=4K avail=0 max_avail=0
> >> Block: [02840000,02841000) size=4K avail=0 max_avail=32M
> >> Block: [02841000,02842000) size=4K avail=0 max_avail=0
> >> Block: [02842000,02d87000) size=5396K avail=5396K max_avail=32M
> >> Block: [02d8a000,04d8a000) size=32M avail=32M max_avail=32M
> >> => mem_size=39096320 (37 MB) / mem_avail=39079936 (37 MB)
> >>
> >> :io_mem_alloc: Allocator 0x2802edc dump:
> >> Block: [00000000,00100000) size=1M avail=1M max_avail=1M
> >> Block: [1f000000,fec00000) size=3580M avail=3580M max_avail=3580M
> >> Block: [fec01000,fee00000) size=2044K avail=2044K max_avail=18364K
> >> Block: [fee01000,ffff0000) size=18364K avail=18364K max_avail=18364K
> >> => mem_size=3775848448 (3600 MB) / mem_avail=3775848448 (3600 MB)
> >>
> >> boot module 'acpi_drv' (96740 bytes)
> >> boot module 'fb_drv' (305596 bytes)
> >> boot module 'status_bar' (114120 bytes)
> >> boot module 'init' (254488 bytes)
> >> boot module 'platform_drv' (289772 bytes)
> >> boot module 'ps2_drv' (110324 bytes)
> >> boot module 'testnit' (84060 bytes)
> >> boot module 'config' (6549 bytes)
> >> boot module 'launchpad.config' (594 bytes)
> >> boot module 'ld.lib.so' (702684 bytes)
> >> boot module 'rom_filter' (86348 bytes)
> >> boot module 'timer' (89704 bytes)
> >> boot module 'xray_trigger' (112640 bytes)
> >> boot module 'pointer' (71144 bytes)
> >> boot module 'report_rom' (101328 bytes)
> >> boot module 'nitpicker' (265900 bytes)
> >> boot module 'scout' (1703896 bytes)
> >> boot module 'liquid_fb' (248988 bytes)
> >> boot module 'launchpad' (740624 bytes)
> >> boot module 'nitlog' (124736 bytes)
> >> Warning: need physical memory, but Platform object not constructed yet
> >> Warning: need physical memory, but Platform object not constructed yet
> >> Genode 17.08
> >> 423 MiB RAM and 261142 caps assigned to init
> >> Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability)
> >> not implemented - resources leaked: 0x1
> >> Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability)
> >> not implemented - resources leaked: 0x2
> >> Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability)
> >> not implemented - resources leaked: 0x4
> >> Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability)
> >> not implemented - resources leaked: 0x8
> >> Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability)
> >> not implemented - resources leaked: 0x10
> >> [init] child "nitpicker_config" announces service "ROM"
> >>
> >> [init] child "acpi_report_rom" announces service "Report"
> >> [init] child "report_rom" announces service "Report"
> >> [init] child "acpi_report_rom" announces service "ROM"
> >> [init] child "report_rom" announces service "ROM"
> >> [init] child "timer" announces service "Timer"
> >> Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability)
> >> not implemented - resources leaked: 0x20
> >> [init -> nitpicker_config] Warning: top-level node <xray> missing in
> >> input ROM xray
> >> [init -> nitpicker_config] Warning: could not obtain input value for
> >> input xray_enabled
> >> [init -> acpi_drv] Found MADT
> >>
> >> [init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0
> >> [init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: 13
> >> [init -> acpi_drv] Found MCFG
> >> [init -> acpi_drv] MCFG BASE 0xe0000000 seg 0x0 bus 0x0-0xff
> >> Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability)
> >> not implemented - resources leaked: 0x40
> >> Warning: unmapping of managed dataspaces not yet supported
> >>
> >> Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability)
> >> not implemented - resources leaked: 0x80
> >> [init] child "platform_drv" announces service "Platform"
> >>
> >> [init -> fb_drv] Found PCI VGA at 00:02.0
> >> [init -> fb_drv] fb mapped to 0x2000
> >> [init] child "fb_drv" announces service "Framebuffer"
> >> [init -> fb_drv] Warning: VBE Bios not present
> >> [init -> fb_drv] Warning: Could not set vesa mode 0x0@16
> >> [init -> ps2_drv] Error: no data available
> >> [init -> nitpicker] Error: Framebuffer-session creation failed
> >> (ram_quota=8192, cap_quota=3)
> >> [init -> nitpicker] Error: __cxa_guard_abort called
> >>
> >> Kernel: Thread 'ep' died because of an uncaught exception
> >> [init -> nitpicker] Error: Uncaught exception of type
> >> 'Genode::Service_denied'
> >> [init -> nitpicker] Warning: abort called - thread: ep
> >>
> >> [init] child "nitpicker" exited with exit value 1
> >> [init -> ps2_drv] Error: no data available
> >> [init -> ps2_drv] i8042: self test failed (0x23)
> >> [init -> ps2_drv] Error: failed to read from port
> >> [init -> ps2_drv] Warning: scan code setting not supported
> >> [init -> ps2_drv] Using keyboard with scan code set 1
> >> [init -> ps2_drv] Error: failed to read from port
> >> [init -> ps2_drv] Warning: could not reset mouse (missing ack)
> >> [init -> ps2_drv] Error: failed to read from port
> >> [init -> ps2_drv] Warning: could not reset mouse (unexpected response)
> >> [init -> ps2_drv] Error: failed to read from port
> >> [init -> ps2_drv] Error: failed to read from port
> >> [init -> ps2_drv] Warning: could not enable stream
> >> [init -> ps2_drv] Error: failed to read from port
> >> [init -> ps2_drv] Error: failed to read from port
> >> [init -> ps2_drv] Error: failed to read from port
> >> [init -> platform_drv] PS2 uses IRQ, vector 0x1
> >> [init -> platform_drv] PS2 uses IRQ, vector 0xc
> >> [init] child "ps2_drv" announces service "Input"
> >>
> >>
> >>
> >> On 08/25/2017 08:31 AM, Alexander Boettcher wrote:
> >>> Hello,
> >>>
> >>> since last week we successful added UEFI support to Genode/seL4 for x86.
> >>>
> >>> In this course we extended the seL4 6.0 kernel (beside the NOVA kernel
> >>> and our own kernel - Genode/hw) to be also a Multiboot2 (MBI2) kernel.
> >>> The MBI2 specification [3] provides to the kernel the ACPI RSDP
> >>> information, which was the main reason to add MBI2 support. Together
> >>> with GRUB2 (as UEFI capable bootloader) we were able to get our setups
> >>> running on various native x86 machines and on Qemu.
> >>>
> >>> Additionally we extended the 3 kernels to propagate the ACPI RSDP
> >>> information further to the user-land, since there the ACPI driver also
> >>> failed to lookup the ACPI RSDP information.
> >>>
> >>> The patch for the seL4 kernel are currently on our staging branch (our
> >>> automatically tested branch) and will show up in the upcoming release
> >>> next week eventually.
> >>>
> >>> Currently, the patches are tight to Genode, but I can open up a feature
> >>> issue on seL4 github if you are fine with the general direction - so
> >>> adding MBI2 support in general. Or you would rather go in another
> >>> direction like writing an own UEFI boot loader, which maybe is more
> >>> minimal compared to GRUB2 etc etc.
> >>>
> >>> I have to admit, that the code addition to the seL4 kernel is far from
> >>> being optimal - amount of code because of redundant MBI 1 vs 2 code,
> >>> correctness of code (I'm not super familiar with the internals of the
> >>> seL4 kernel), missing framebuffer information etc - but this we may
> >>> discuss in more detail on github, if wanted.
> >>>
> >>>
> >>> Cheers,
> >>>
> >>> Alex.
> >>>
> >>> [0]
> >>> https://github.com/genodelabs/genode/commit/b9aa16eb3e671a7e3c1474b076a244c7c97e5dea
> >>> "sel4: kernel patch to get ACPI information"
> >>> [1]
> >>> https://github.com/genodelabs/genode/commit/c09783eed9a52ad72e8a1a986b832303574612ba
> >>> "sel4: add uefi boot support via mbi2"
> >>> [3]
> >>> http://git.savannah.gnu.org/cgit/grub.git/tree/doc/multiboot.texi?h=multiboot2
> >>>
> >>> On 10.08.2017 16:50, [email protected] wrote:
> >>>> Hi Edward,
> >>>>
> >>>> In the near future? Unfortunately not. UEFI support is definitely
> >>>> something that we talk about every so often, but just never makes it
> >>>> high enough up the priority list for us internally.
> >>>>
> >>>> A configuration option for overriding the RSDP search doesn't so too
> >>>> unreasonable in cases where there isn't a BIOS region to search. At
> >>>> least until we can retrieve the address from the UEFI runtime.
> >>>>
> >>>> It is entirely possible that any number of tables and initialization
> >>>> needs to happen before the timer, or other hardware, will work.
> >>>> Currently the ACPI tables here are just being used to find the base
> >>>> address of the HPET, and it is assumed that it is in a working state and
> >>>> no further setup needs to be done.
> >>>>
> >>>> As for the IRQ numbers in seL4 you are seeing the local CPU vector
> >>>> delivery number, not the source I/O APIC interrupt number or GSI. To
> >>>> determine the IRQ source you could check the x86KSIRQState for the local
> >>>> CPU vector (in this case 125), unpack the x86_irq_state_t type, and see
> >>>> where it came from.
> >>>>
> >>>> The user code though is first trying to use the HPET and then if it
> >>>> cannot find that (i.e. it's not in the ACPI tables) then it falls back
> >>>> to the PIT. If it finds a HPET then it will try and use FSB (i.e. MSI)
> >>>> delivery, and failing that fall back to I/O APIC delivery. If you want
> >>>> to work out which of these its using you could either infer from the
> >>>> x86KSIRQState as mentioned above or instrument
> >>>> https://github.com/seL4/util_libs/blob/fff76a36a02b8ccef3aa0b201751c57b62ac3621/libplatsupport/src/plat/pc99/ltimer.c#L225
> >>>> and
> >>>> https://github.com/seL4/util_libs/blob/fff76a36a02b8ccef3aa0b201751c57b62ac3621/libplatsupport/src/plat/pc99/ltimer.c#L306
> >>>> to see what exactly it is doing.
> >>>>
> >>>> Adrian
> >>>>
> >>>> On Thu 10-Aug-2017 4:56 AM, Edward Sandberg wrote:
> >>>>
> >>>> Is there a plan to add UEFI support in seL4 for x86 hardware in the near
> >>>> future? Newer x86 boards are frequently UEFI only. It is possible to
> >>>> get around the lack of UEFI support, as I have done with the UP board:
> >>>>
> >>>> https://up-community.org/wiki/Hardware_Specification
> >>>>
> >>>> but I am hitting problems which I will detail below.
> >>>>
> >>>> When I compile using ia32_debug_xml_defconfig and boot using the
> >>>> resulting images the board fails to find the RSDP location. To fix this
> >>>> I had to modify the source code a bit:
> >>>>
> >>>>
> >>>> * seL4test/projects/util_libs/libplatsupport/src/plat/pc99/acpi/acpi.h
> >>>>
> >>>> + #define UPBOARD_RSDP 0x5B161000
> >>>>
> >>>> * seL4test/projects/util_libs/libplatsupport/src/plat/pc99/acpi/acpi.c
> >>>>
> >>>> - acpi->rsdp = acpi_sig_search(acpi, ACPI_SIG_RSDP,
> >>>> strlen(ACPI_SIG_RSDP),
> >>>> - (void *) BIOS_PADDR_START, (void *)
> >>>> BIOS_PADDR_END);
> >>>> + acpi->rsdp = (void *)UPBOARD_RSDP;
> >>>>
> >>>> * seL4test/kernel/src/plat/pc99/machine/acpi.c
> >>>>
> >>>> - for (addr = (char*)BIOS_PADDR_START; addr < (char*)BIOS_PADDR_END;
> >>>> addr += 16) {
> >>>> + for (addr = (char*)0; addr < (char*)PPTR_BASE; addr += 16) {
> >>>>
> >>>> It would be handy to have this as a kernel parameter to cover cases
> >>>> where it is not successfully discovered automatically. With these
> >>>> changes I can boot the board and several tests pass but then I get stuck
> >>>> on INTERRUPT0001 (Test interrupts with timer). I don't get a test
> >>>> failure or an error the board just sits and makes no more progress.
> >>>> Someone had that test fail in this post:
> >>>>
> >>>> https://sel4.systems/pipermail/devel/2017-February/001328.html
> >>>>
> >>>> and the first recommendation was to check if the irq of the timer was
> >>>> correctly found. I booted the board into linux to find the correct irq
> >>>> which was listed as 0 in /proc/interupts. I added a printf to
> >>>> handleInterrupt in the kernel source, recompiled and when I booted seL4
> >>>> I found that the irq reported to handleInterrupt is 125 (which sel4
> >>>> reports as the max interrupt value) every time that function is called.
> >>>> Adding this printf also showed me that when the test hangs the board
> >>>> hasn't crashed or locked up as calls to handleInterrupt are made
> >>>> continuously.
> >>>>
> >>>> At this point I noticed that before any tests started to run several
> >>>> ACPI tables are not recognized:
> >>>>
> >>>> Parsing ACPI tables
> >>>> Skipping table FPDTD, unknown
> >>>> Skipping table FIDT<9c>, unknown
> >>>> Skipping table UEFIB, unknown
> >>>> Skipping table TPM24, unknown
> >>>> Skipping table LPIT^D^A, unknown
> >>>> Skipping table BCFG9^A, unknown
> >>>> Skipping table PRAM0, unknown
> >>>> Skipping table CSRTL^A, unknown
> >>>> Skipping table BCFG9^A, unknown
> >>>> Skipping table OEM0<84>, unknown
> >>>> Skipping table OEM1@, unknown
> >>>> Skipping table PIDVÜ, unknown
> >>>> Skipping table RSCI,, unknown
> >>>> Skipping table WDAT^D^A, unknown
> >>>> Warning: skipping table ACPI XSDT
> >>>>
> >>>> Maybe one or more of those tables needs to be loaded to handle
> >>>> interrupts properly. The LPIT table is conspicuous in the case of the
> >>>> timer test but I think other tests are likely to depend on the other
> >>>> tables.
> >>>>
> >>>> Any suggestions about porting this type of hardware?
> >>>>
> >>>>
> >>>>
> >>>>
> >>>>
> >>>> _______________________________________________
> >>>> Devel mailing list
> >>>> [email protected]
> >>>> https://sel4.systems/lists/listinfo/devel
> >>>>
> >>>
> >
>
> --
> Alexander Boettcher
> Genode Labs
>
> http://www.genode-labs.com - http://www.genode.org
>
> Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
> Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
--
Edward Sandberg
Adventium Labs
111 3rd Avenue S. Suite #100
Minneapolis, MN 55401
[email protected]
signature.asc
Description: PGP signature
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
