mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 00:24:51 +00:00
b1195508ba
ACPICA needs access to the host bridge 0:0.0 on Intel, which is also accessed by the Intel display driver. Since for the Intel display driver the PCI device is specified in the policy explicitly, the PCI device is filtered out for the ACPICA driver which uses the policy "ALL". Issue #4532
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.