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
