mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-14 06:27:06 +00:00
9b5944b90c
Every session component manages a registry of Io_mmu::Domain objects that it creates on demand depending on the acquired devices (i.e. the IOMMU devices referenced by the acquired devices). Via the domain objects, a session component adds/removes the address ranges of the allocated DMA buffers. Additionally, domain objects provide an interface for enabling/disabling pci devices. Domain objects get destroyed with the corresponding control device. Moreover, on devices/policy ROM updates, domain objects of control devices that are not referenced by any acquired device anymore get destroyed. genodelabs/genode#4761
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.