On 05.03.2018 15:41, Valery V. Sedletski via genode-main wrote:
Can you please test commit [0], which should ignore the invalid ACPI table in your case.
[0] https://github.com/alex-ab/genode/commit/b2bedb8eef2d39df79db648c23d6fe8725e...
Yes, I cherry-picked your commit, and everything seems to work fine with ACPI.
Thanks for testing - commit is scheduled for addition to Genode staging/master.
At least, I see NOVA and "base-hw" kernels booting fine with Sculpt on Asus laptop.
Is ACPI tables dump of Asus machine still needed?
No, thanks,