Re: [seL4] Memory Region overlap error
On 11.07.2018 01:45, Jeremy Fields wrote:
Here's my results from these permutations, using Genode 18.05 / sel4 9.0.1 (hopefully the formatting works). I know some permutations probably don't make sense, but I did them anyways. Any thoughts? I have the serial output from these tests as well, but didn't want to overload this message with that. Additionally, can you folks share specific machine make/models that you know work with Genode/seL4? Hopefully some 'consumer off the shelf' stuff.
We have no specific Genode/seL4 x86 hardware list, but there exists an unofficial list at [0] which may serve your question.
PermuationResult Legacy / Multiboot 2 + Bender Memory region overlap Legacy / Multiboot 1 + Bender failed assertion 'acpi_rsdt_mapped->header.length >= sizeof(acpi_header_t) Legacy / Multiboot 1 crashes/reboots Legacy / Multiboot 2 Memory region overlap UEFI / Multiboot 2 + Bender Memory region overlap UEFI / Multiboot 1 + Bender failed assertion 'acpi_rsdt_mapped->header.length >= sizeof(acpi_header_t) UEFI / Multiboot 1 freezes? UEFI / Multiboot 2 Memory region overlap
Thanks for testing.
May you please apply the seL4 kernel patch and test, whether this solves your issue ?
[0] http://usr.sysret.de/jws/genode/hcl.html
-- 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
On 11.07.2018 15:18, Jeremy Fields wrote:
http://usr.sysret.de/jws/genode/hcl.html Thank you^ that is very helpful
Since I am new to Genode & seL4, I will elaborate just a little on the latter two cases. Video output is stuck on blank/plain "GRUB purple", serial output stops, and machine is overall unresponsive. Below is a paste of the serial output for UEFI Multiboot2 (which looks the same as Multiboot1)
Got framebuffer info in multiboot2. Current video mode is at physical address=f1000000 pitch=3200 resolution=800x600@32 type=1 Detected 1 boot module(s): ***WARNING*** SKIM window not enabled, this machine is probably vulernable to Meltdown (https://www.meltdownattack.com), consider enabling Kernel loaded to: start=0x200000 end=0x27e000 size=0x7e000 entry=0x20007e ACPI: RSDT paddr=0x1dffef18 ACPI: RSDT vaddr=0xdfffef18 ACPI: FADT paddr=0x18ff1d18 ACPI: FADT vaddr=0xdfff1d18 ACPI: FADT flags=0x386a5 ############################################## Ok, the patch seems to help to get over the "overlap memory region" issue of the seL4 kernel.
From the output I would guess that now something is wrong with the ACPI tables (content provided by the BIOS/UEFI of your machine or the parsing in the kernel).
Cheers, -- 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
participants (2)
-
Alexander Boettcher -
Jeremy Fields