1 { pkgs, lib, config, ... }:
4 ../../nixos/profiles/hardware/dl10j.nix
7 # The 32-bit host id of the machine, formatted as 8 hexadecimal characters.
8 # You should try to make this id unique among your machines.
9 # Manually generated with : head -c4 /dev/urandom | od -A none -t x4 | cut -d ' ' -f 2
10 networking.hostId = "e18f71a6";
12 boot.loader.grub.devices = [
13 #"/dev/disk/by-id/nvme-Samsung_SSD_970_EVO_Plus_250GB_S4EUNJ0N211426T"
14 #"/dev/disk/by-id/usb-Generic-_Multi-Card_20071114173400000-0:0"
15 "/dev/disk/by-id/mmc-SB32G_0xdb5e2237"
19 { device = "/dev/disk/by-partlabel/losurdo_sd_boot";
23 fileSystems."/boot/efi" =
24 { device = "/dev/disk/by-partlabel/losurdo_sd_efi";
29 { device = "/dev/disk/by-partlabel/losurdo_nvme_swap";
32 cipher = "aes-xts-plain64";
33 source = "/dev/urandom";