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

[Alexander Boettcher]

On 08.07.20 14:54, Alexander Botcher wrote:
> On 07.07.20 21:40, Parfait Tokponnon wrote:
>>
>> The IP:0x1010ab2 resolves to
>> /home/parfait/git/genode20.05/repos/os/src/drivers/acpi/acpi.cc:254 where I
>> can read following :
>>
>> Fadt(addr_t a) : Genode::Mmio(a)
>>> {
>>> features    = read<Fadt::Feature_flags>();
>>> reset_type  = read<Fadt::Reset_reg_type>();
>>> 254     reset_addr  = read<Fadt::Reset_reg_addr>();
>>> reset_value = read<Fadt::Reset_value>();
>>> }

Reading again the Fadt structure documentation, I noticed that the reset fields are supported for ACPI 2.0+. If only a ACPI 1.x structure is provided, we should not read the values. I think depending on the ACPI version we should not read the values.

Since the reset values are not used anywhere in the code, you could just comment out the 3 lines and you should get further.

Cheers,

Alex.

-- 
Alexander Boettcher
Genode Labs

https://www.genode-labs.com - https://www.genode.org

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