Hello,
On 05.07.2018 14:34, Jeremy Fields wrote:
Sure - I've tried a few different combinations,
but the latest Genode 18.5
used seL4 9.0.1. I'm attempting to use this on an x86 machine that has a
Xeon 1607 and a dedicated GPU. The thread I referenced in my initial post
implied that UEFI might be an issue, but I've tried both UEFI and legacy
boots without success. I tried using/building Genode 17.5 with whatever
version of seL4 it acquires, but get the same error. Let me know if there's
anything else I can provide
some suggestions from my side.
Try to remove the chain bootloader "bender", just to exclude it as
potential reason of trouble. In genode/tool/run/boot_dir/sel4 remove the
"multiboot2 /boot/bender ..." line and adjust the line below from
"module2 /boot/sel4 ..." -> "multiboot2 /boot/sel4 ...". Use some
simple
scenario for testing, like log.run
If the issue persists, you may try to boot Genode/seL4 the Multiboot 1
way instead of Multiboot 2, which however will solely work for BIOS
legacy boots (no UEFI). Replace the "multiboot2" and "module2" in
genode/tool/run/boot_dir/sel4 with "multiboot" and "module".
Cheers,
Alex B.
--
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