{ ... }: { flake.modules.nixos.controlstation = { boot.initrd.availableKernelModules = [ "nvme" "xhci_pci" "ahci" "usbhid" "usb_storage" "sd_mod" ]; boot.initrd.kernelModules = [ "nct6775" ]; boot.kernelParams = [ "amdgpu.ppfeaturemask=0xfff7ffff" ]; boot.kernelModules = [ ]; boot.extraModulePackages = [ ]; swapDevices = [ { device = "/dev/disk/by-uuid/3d092800-8960-4adc-af4c-3c0df203b945"; } ]; }; }