mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-15 15:32:07 +00:00
If 'system="yes"' is specified in the <config>, the platform driver now monitors the content of the system ROM. Should the value become "reset", a reset is triggered using information obtained from the ACPI driver. Related to issue #2726
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.