Hi,
would it be possible to passthrough a graphics card to a virtual machine while using Coreboot/Libreboot? The libreboot website says that the motherboard offers full IOMMU-support when using a CPU from the Opteron 6200/6300 series.
https://wiki.archlinux.org/index.php/PCI_passthrough_via_OVMF https://libreboot.org/docs/hcl/kgpe-d16.html