{ modulesPath, ... }: { imports = [ "${modulesPath}/installer/scan/not-detected.nix" ]; nixpkgs.hostPlatform = "x86_64-linux"; boot = { loader = { systemd-boot.enable = true; efi.canTouchEfiVariables = true; }; consoleLogLevel = 3; initrd = { systemd.enable = true; verbose = false; availableKernelModules = [ "uhci_hcd" "ehci_pci" "ata_piix" "mptsas" "usb_storage" "usbhid" "sd_mod" "sr_mod" ]; }; kernelParams = [ "quiet" "udev.log_level=3" ]; plymouth = { enable = true; theme = "bgrt"; }; }; hardware.enableRedistributableFirmware = true; hardware.cpu.intel.updateMicrocode = true; disko.devices = { disk = { root = { type = "disk"; device = "/dev/sda"; imageSize = "32G"; content = { type = "gpt"; partitions = { boot = { size = "1M"; type = "EF02"; }; ESP = { size = "512M"; type = "EF00"; content = { type = "filesystem"; format = "vfat"; mountpoint = "/boot"; }; }; root = { end = "-8G"; content = { type = "filesystem"; format = "ext4"; mountpoint = "/"; }; }; swap = { size = "100%"; content = { type = "swap"; randomEncryption = true; resumeDevice = false; }; }; }; }; }; }; }; }