{
  config,
  pkgs,
  ...
}: {
  boot.kernelparams = ["amd_iommu=on"];
  boot.blacklistedKernelModules = ["nvidia" "nouveau"];
  boot.kernelModules = ["vfio_virqfd" "vfio_pci" "vfio_iommu_type1" "vfio"];
  boot.extraModprobeConfig = "options vfio-pci ids=10de:2705,10de:22bb";
}