mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-26 14:19:19 +00:00
96cc660f95
This patch enables sculpt to utilize the CPU reset mechanism via the PS/2 controller as well as the information provided via the ACPI FADT information. Whenever the /config/system file is changed to <system state="reset"/>, both mechanisms are triggered. Supporting both mechanisms is useful because the PS/2-based reset does not work reliably on modern machines. The PS/2-based reset is useful in the case when the FADT reset information refers to the PS/2 command port. In this case, the platform driver is unable to access this port because it is already handed out to the PS/2 driver. In this case, the PS/2 driver kicks in. Issue #2726