mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-13 06:03:31 +00:00
b2e4f95f27
This allows referencing an arbitrary number of IOMMU devices within a <devices> node, e.g.: <device> <io_mmu name="foobar"/> </device> The specified name is supposed to refer to an existing device in the devices ROM. The platform driver automatically acquires known IOMMU devices whenever they become available so that the device object can be looked up from the platform-driver-owned devices. 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.