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 _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
