mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 09:46:20 +00:00
10aa5ebf03
Although we do not have the full ACPI information parsed yet, to announce non-PCI devices derived from the ACPI tables, the device description of the assumed devices is now integral-part of pci_decode. Formerly, the information was gained separatedly as boot-module, whereby we lost synchronization in between ACPI/PCI parsing, BIOS handover, and PS/2 emulation code already acting.