{ ... }: { # Enable non-free firmware. hardware.enableRedistributableFirmware = true; # Configure bootloader. boot = { loader = { efi.canTouchEfiVariables = true; systemd-boot = { enable = true; configurationLimit = 7; }; }; tmp.useTmpfs = true; initrd = { kernelModules = [ "dm-snapshot" ]; availableKernelModules = [ "ahci" "ata_piix" "mptspi" "nvme" "sd_mod" "sr_mod" "usb_storage" "usbhid" "xhci_pci" ]; }; }; }