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