Genode demo with seL4 Kernel no longer working
Chris Rothrock
cgrothrock at ...9...
Wed Mar 21 17:00:26 CET 2018
Previously, the demo build of Genode with seL4 worked perfectly fine but it
seems with the newer port of seL4, this is no longer working. If I use
KERNEL=nova, the build runs fine, both through QEMU and booting the
hardware with the build but with KERNEL=sel4, here is the output m(via
hardware boot). Is this a known issue?
Chris
Boot config: parsing cmdline 'sel4 disable_iommu'
Boot config: console_port = 0x3f8
Boot config: debug_port = 0x3f8
Boot config: disable_iommu = true
Detected 1 boot module(s):
module #0: start=0xa98000 end=0x125e330 size=0x7c6330 name='image.elf'
Parsing GRUB physical memory map
Physical Memory Region from 0 size 9dc00 type 1
Physical Memory Region from 9dc00 size 2400 type 2
Physical Memory Region from e0000 size 20000 type 2
Physical Memory Region from 100000 size b2bfb000 type 1
Adding physical memory region 0x100000-0xb2cfb000
Physical Memory Region from b2cfb000 size b84000 type 2
Physical Memory Region from b387f000 size 200000 type 4
Physical Memory Region from b3a7f000 size 80000 type 3
Physical Memory Region from b3aff000 size 1000 type 1
Adding physical memory region 0xb3aff000-0xb3b00000
Physical Memory Region from b3b00000 size ad00000 type 2
Physical Memory Region from e0000000 size 10000000 type 2
Physical Memory Region from fd000000 size 1800000 type 2
Physical Memory Region from fec00000 size 1000 type 2
Physical Memory Region from fed00000 size 1000 type 2
Physical Memory Region from fed10000 size a000 type 2
Physical Memory Region from fed20000 size 60000 type 2
Physical Memory Region from fed84000 size 1000 type 2
Physical Memory Region from fedb0000 size 10000 type 2
Physical Memory Region from fee00000 size 1000 type 2
Physical Memory Region from ff700000 size 900000 type 2
Physical Memory Region from 100000000 size 13f800000 type 1
Adding physical memory region 0x100000000-0x23f800000
Got VBE info in multiboot. Current video mode is 16767
ACPI: RSDP paddr=0xfbe30
ACPI: RSDP vaddr=0xfbe30
ACPI: RSDT paddr=0xb3afd074
ACPI: RSDT vaddr=0xb3afd074
Kernel loaded to: start=0x200000 end=0xa98000 size=0x898000 entry=0x201209
ACPI: RSDT paddr=0xb3afd074
ACPI: RSDT vaddr=0xb3afd074
ACPI: FADT paddr=0xb3aef000
ACPI: FADT vaddr=0xb3aef000
ACPI: FADT flags=0x384a5
ACPI: MADT paddr=0xb3aed000
ACPI: MADT vaddr=0xb3aed000
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=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: 4 CPU(s) detected
ELF-loading userland images from boot modules:
size=0x162e000 v_entry=0x2000018 v_start=0x2000000 v_end=0x362e000
p_start=0x125f000 p_end=0x288d000
Moving loaded userland images to final location: from=0x125f000 to=0xa98000
size=0x162e000
Starting node #0 with APIC ID 0
Mapping kernel window is done
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
Warning: memory in range [0000000100000000,0000000200000000) is
unavailable (due to limited untyped cnode range)
Warning: memory in range [0000000200000000,0000000220000000) is
unavailable (due to limited untyped cnode range)
Warning: memory in range [0000000220000000,0000000230000000) is
unavailable (due to limited untyped cnode range)
Warning: memory in range [0000000230000000,0000000238000000) is
unavailable (due to limited untyped cnode range)
Warning: memory in range [0000000238000000,000000023c000000) is
unavailable (due to limited untyped cnode range)
Warning: memory in range [000000023e000000,000000023f000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [000000023f800000,0000000240000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000000240000000,0000000280000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000000280000000,0000000300000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000000300000000,0000000400000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000000400000000,0000000800000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000000800000000,0000001000000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000001000000000,0000002000000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000002000000000,0000004000000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000004000000000,0000008000000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000008000000000,0000408000000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000408000000000,0000608000000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000608000000000,0000708000000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000708000000000,0000788000000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000788000000000,00007c8000000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [00007c8000000000,00007e8000000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [00007e8000000000,00007f8000000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [00007f8000000000,0000800000000000) is
unavailable (due to limited untyped cnode range)
virtual address layout of core:
overall [0000000000002000,00000000c0000000)
core image [0000000002000000,000000000362e000)
ipc buffer [000000000362e000,000000000362f000)
boot_info [000000000362f000,0000000003631000)
stack area [0000000040000000,0000000050000000)
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
Warning: need physical memory, but Platform object not constructed yet
Warning: need physical memory, but Platform object not constructed yet
boot module 'nit_focus' (89200 bytes)
boot module 'nitlog' (143312 bytes)
boot module 'ps2_drv' (184584 bytes)
boot module 'report_rom' (127384 bytes)
boot module 'acpi_drv' (127504 bytes)
boot module 'pointer' (161504 bytes)
boot module 'scout' (1776120 bytes)
boot module 'testnit' (105128 bytes)
boot module 'ld.lib.so' (906600 bytes)
boot module 'launchpad.config' (594 bytes)
boot module 'nitpicker' (369920 bytes)
boot module 'timer' (110832 bytes)
boot module 'platform_drv' (370128 bytes)
boot module 'config' (7521 bytes)
boot module 'fb_drv' (384720 bytes)
boot module 'liquid_fb' (329272 bytes)
boot module 'status_bar' (139744 bytes)
boot module 'global_keys_handler' (172968 bytes)
boot module 'launchpad' (811456 bytes)
boot module 'init' (344960 bytes)
boot module 'rom_filter' (120536 bytes)
Warning: need physical memory, but Platform object not constructed yet
Genode 17.11-221-g8d09d02 <local changes>
2793 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
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x20
[init -> nitpicker_config] resource_request: ram_quota=5239
[init] child "nitpicker_config" requests resources: ram_quota=5239
[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
[init -> acpi_drv] Found DMAR
[init -> acpi_drv] 39 bit DMA physical addressable , IRQ remapping supported
[init -> acpi_drv] DMA remapping structure type=0
[init -> acpi_drv] DMA remapping structure type=0
[init -> acpi_drv] DMA remapping structure type=1
[init -> acpi_drv] DMA remapping structure type=1
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
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x100
[init -> ps2_drv] Using keyboard with scan code set 1 (xlate)
[init -> fb_drv] Found PCI VGA at 00:02.0
[init -> fb_drv] fb mapped to 0x4000
[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] resource_request: ram_quota=20480
[init] child "ps2_drv" requests resources: ram_quota=20480
--
Thank You,
Chris Rothrock
Senior System Administrator
(315) 308-1637
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20180321/0b1b7aae/attachment.html>
More information about the users
mailing list