Crash on Windriver Simics : page fault, pd='init -> drivers -> acpi_drv' thread='ep'

Christian Helmuth christian.helmuth at
Wed Jul 8 15:07:09 CEST 2020

Hello Parfait,

On Wed, Jul 08, 2020 at 14:54:30 CEST, Alexander Boettcher wrote:
> If for your FACP/FADT table not the whole memory is mapped, you will have to look into
> repos/os/src/drivers/acpi/memory.h to understand and fix the issue.

I did an extensive rewrite of the table-memory mapping code in
acpi_drv last November. Are you already using Genode 19.11 or later?
If no, I suggest you update to Genode 20.05 first. If yes, don't
hesitate to post your complete log to the mailing list and I'll have a

Christian Helmuth
Genode Labs · · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list