New subject: Memory Region overlap error

11 Jul 2018

...

 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

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.

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

-- 
Sincerely,
Jeremy
______________________________
Software Engineer
Critical Technologies Inc.

Re: [seL4] Memory Region overlap error