mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 18:06:50 +00:00
To discharge the generic platform driver from certain PCI bus scanning, and ACPI + kernel specifics, this commit introduces a new component, which consumes the acpi drivers report and the platform_info from core to prepare a devices ROM for the platform driver that contains all PCI devices and its resources. Fix genodelabs/genode#4495