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
_______________________________________________
Genode users mailing list
[email protected]
https://lists.genode.org/listinfo/users
