mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-19 03:06:39 +00:00
85dc2e5b9b
We need the information about reserved memory region reports from the ACPI tables within the platform driver to pre-fill IOMMU tables with the corresponding mappings. Therefore, the pci_decode component now parses the information from the ACPI ROM, and adds "reserved_memory" nodes to all related devices in the devices report. Ref genodelabs/genode#4578 |
||
---|---|---|
.. | ||
doc | ||
include | ||
lib | ||
recipes | ||
run | ||
src | ||
xsd | ||
README |
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.