{ pkgs, lib, config, ... }: { imports = [ ../../../base/dl10j.nix ]; boot.loader.grub.devices = [ "/dev/disk/by-id/usb-Generic-_Multi-Card_20071114173400000-0:0" ]; fileSystems."/boot" = { device = "/dev/disk/by-uuid/0ea6842a-9e95-45ce-b2a9-8639918875f3"; fsType = "ext2"; }; fileSystems."/boot/efi" = { device = "/dev/disk/by-uuid/6BB1-D61E"; fsType = "vfat"; }; swapDevices = [ { device = "/dev/disk/by-partuuid/a0bd2fd9-2df3-4626-bc7b-db9da714eba5"; randomEncryption = { enable = true; cipher = "aes-xts-plain64"; source = "/dev/urandom"; }; } ]; environment = { systemPackages = with pkgs; [ pciutils flashrom ]; }; }