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 = readFadt::Feature_flags(); reset_type = readFadt::Reset_reg_type(); 254 reset_addr = readFadt::Reset_reg_addr(); reset_value = readFadt::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.