1 { pkgs, lib, config, ... }:
4 ../../../base/dl10j.nix
7 boot.loader.grub.devices = [
8 "/dev/disk/by-id/usb-Generic-_Multi-Card_20071114173400000-0:0"
12 { device = "/dev/disk/by-uuid/0ea6842a-9e95-45ce-b2a9-8639918875f3";
16 fileSystems."/boot/efi" =
17 { device = "/dev/disk/by-uuid/6BB1-D61E";
22 [ { device = "/dev/disk/by-partuuid/a0bd2fd9-2df3-4626-bc7b-db9da714eba5";
25 cipher = "aes-xts-plain64";
26 source = "/dev/urandom";
32 systemPackages = with pkgs; [