On 09.07.20 15:19, Parfait Tokponnon wrote: > I commented out the reset_addr line without success. It triggers a page > fault at another address.
I wrote to remove all _3_ lines with reset_* to avoid the pagefault, not only 1 line ;-) > Applying the patch reveals the following about the 'FACP' table structure > just before the page fault > >> [init -> drivers -> acpi_drv] Warning: attach memory - 0x3feff000+0x1000, >> Loop_base 0x7feff000, IO base 1073741824 >> [init -> drivers -> acpi_drv] table mapped 'FACP' at 0xbfefff80 (from >> 0x7fefff80) size 0x74 As I pressumed, the table is solely 0x74 in size. Looking at the code: 253 . . reset_type = read<Fadt::Reset_reg_type>(); 254 . . reset_addr = read<Fadt::Reset_reg_addr>(); 255 . . reset_value = read<Fadt::Reset_value>(); 256 . } 257 258 . struct Dsdt : Register<0x28, 32> { }; 259 . struct Feature_flags : Register<0x70, 32> { }; 260 . struct Reset_reg_type : Register<0x74, 32> { }; 261 . struct Reset_reg_addr : Register<0x78, 64> { }; 262 . struct Reset_value : Register<0x80, 8> { }; you see that the Reset_* types are behind the tables, namely at offset 0x74, 0x78, 0x80. Do you like to open an issue and provide a patch ? Thanks for investigation, Alex. >> >> Since the reset values are not used anywhere in the code, you could just >> comment out the 3 lines and you should get further. >> -- 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 users@lists.genode.org https://lists.genode.org/listinfo/users