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