{ pkgs, config, ... }: { boot = { extraModulePackages = [ config.boot.kernelPackages.v4l2loopback.out ]; supportedFilesystems = ["ntfs"]; initrd = { availableKernelModules = ["amdgpu" "nvme" "ahci" "xhci_pci" "usb_storage" "usbhid" "sd_mod"]; kernelModules = []; }; kernelModules = ["kvm-amd" "vfio-pci" "v4l2loopback"]; kernelPackages = pkgs.linuxPackages_latest; loader = { efi = { canTouchEfiVariables = true; efiSysMountPoint = "/boot"; }; systemd-boot.enable = false; grub = { enable = true; device = "nodev"; useOSProber = true; efiSupport = true; }; }; }; }