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
diff --git a/src/arch/x86/kernel/boot_sys.c b/src/arch/x86/kernel/boot_sys.c
index a0e6264..e1b7f06 100644
--- a/src/arch/x86/kernel/boot_sys.c
+++ b/src/arch/x86/kernel/boot_sys.c
@@ -733,9 +733,7 @@ try_boot_sys_mbi2(
                 printf("\tPhysical Memory Region from %llx size %llx type %u\n", m->addr, m->size, m->type);
                 if (m->addr != (uint64_t)(word_t)m->addr) {
                     printf("\t\tPhysical memory region not addressable\n");
-                }
-
-                if (m->type == MULTIBOOT_MMAP_USEABLE_TYPE && m->addr >= HIGHMEM_PADDR) {
+                } else if (m->type == MULTIBOOT_MMAP_USEABLE_TYPE && m->addr >= HIGHMEM_PADDR) {
                     if (!add_mem_p_regs((p_region_t) {
                     m->addr, m->addr + m->size
                 }))
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel

Reply via email to