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";