> > > 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 > -------------- next part -------------- > A non-text attachment was scrubbed... > Name: boot_sys.patch > Type: text/x-patch > Size: 803 bytes > Desc: not available > URL: < > http://sel4.systems/pipermail/devel/attachments/20180711/5d583d0e/attachment.bin > > >
> http://usr.sysret.de/jws/genode/hcl.html Thank you^ that is very helpful Here's my results from testing. I only used UEFI as it seemed not related to the issue: (but I will test legacy mode if you want, just let me know) Permutation -- Result UEFI: Multiboot2 w/ Bender -- failed assertion 'acpi_rsdt_mapped->header.length >= sizeof(acpi_header_t) UEFI: Multiboot1 w/ Bender -- failed assertion 'acpi_rsdt_mapped->header.length >= sizeof(acpi_header_t) UEFI: Multiboot2 -- freezes? UEFI: Multiboot1 -- freezes? 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) ################################################### Boot config: parsing cmdline 'sel4 disable_iommu' Boot config: console_port = 0x3f8 ▒Boot config: debug_port = 0x3f8 Boot config: disable_iommu = true module #0: start=0x27e000 end=0x98d228 size=0x70f228 name='image.elf' Physical Memory Region from 0 size a0000 type 1 Physical Memory Region from 100000 size 18dbb000 type 1 Adding physical memory region 0x100000-0x18ebb000 Physical Memory Region from 18ebb000 size 12d000 type 4 Physical Memory Region from 18fe8000 size 1000 type 1 Adding physical memory region 0x18fe8000-0x18fe9000 Physical Memory Region from 18fe9000 size 17000 type 4 Physical Memory Region from 19000000 size 4ffd000 type 1 Adding physical memory region 0x19000000-0x1dffd000 Physical Memory Region from 1dffd000 size 3000 type 3 Physical Memory Region from 1e000000 size 8e784000 type 1 Adding physical memory region 0x1e000000-0x1f800000 Physical Memory Region from ac784000 size 3000 type 20 Physical Memory Region from ac787000 size 1000 type 2 Physical Memory Region from ac788000 size 2000 type 20 Physical Memory Region from ac78a000 size 56000 type 2 Physical Memory Region from ac7e0000 size 1000 type 20 Physical Memory Region from ac7e1000 size 2000 type 2 Physical Memory Region from ac7e3000 size 9000 type 20 Physical Memory Region from ac7ec000 size a000 type 2 Physical Memory Region from ac7f6000 size 4000 type 20 Physical Memory Region from ac7fa000 size 4000 type 2 Physical Memory Region from ac7fe000 size 1000 type 20 Physical Memory Region from ac7ff000 size 9000 type 2 Physical Memory Region from ac808000 size d000 type 20 Physical Memory Region from ac815000 size 3000 type 2 Physical Memory Region from ac818000 size fe8000 type 1 Physical Memory Region from b0000000 size 4000000 type 2 Physical Memory Region from fed20000 size 20000 type 2 Physical Memory Region from fed50000 size 40000 type 2 Physical Memory Region from ffa00000 size 40000 type 2 Physical Memory Region from 1000000000 size 350000000 type 1 Physical memory region not addressable 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 ############################################## -- Sincerely, Jeremy ______________________________ Software Engineer Critical Technologies Inc.
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
