mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-25 08:21:08 +00:00
4e115a7de2
The synchronization with the ACPI driver is not needed when starting acpica at a later stage. It could already be disabled via the 'acpi_ready="yes"' config attribute. However, acpica still unconditionally requests the so-called "Acpi" service, which is an alias for the platform_drv's "Platform" service. This patch disables the use of this alias when the 'acpi_ready' synchronization is disabled. |
||
---|---|---|
.. | ||
acpica.h |