mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-24 04:55:42 +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
This directory is a source-code repository containing Genode-specific services and applications. In contrast to the components that come with the 'os' repository, programs contained in 'gems' are able to leverage the functionalities provided by higher-level repositories such as 'libports'. To use the 'gems' repository, make sure to also add those repositories to your build configuraion.