Stefan Kalkowski 10aa5ebf03 pci_decode: report devices from ACPI info ... 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.		2022-11-29 12:29:57 +01:00
..
app	pci_decode: report devices from ACPI info	2022-11-29 12:29:57 +01:00
drivers	Remove legacy platform_drv, API, and platform.inc	2022-11-29 12:29:57 +01:00
init	xml_node: change with_sub_node signature	2022-09-19 14:00:33 +02:00
lib	genode_c_api: add config update to block interface	2022-11-17 08:00:35 +01:00
server	vmm: make ARM VMM configureable	2022-11-17 08:00:37 +01:00
test	drivers: use DMA buffer more consistent	2022-11-17 08:00:36 +01:00
trace/policy	os: src/lib/trace/policy -> src/trace/policy	2022-09-19 13:59:27 +02:00