{
  config.local = {
    hostname = "user";
    portable = false;

    dhcpInterface = "ens8";

    canTouchEfiVariables = true;
    initrdModules = ,[ "xhci_pci" "ahci" "usb_storage" "uas" "sd_mod" "r8169" ];

    videoDrivers = [ "qxl" ];

    crypt = {
      toplevel = {
        device = "/dev/disk/by-path/virtio-pci-0000:00:05.0";
        target = "user";
        headerFromBoot = "headers/toplevel0-user.luks-header";
      };

      aux = [
        {
          device = "/dev/disk/by-path/virtio-pci-0000:00:0b.0";
          target = "user-hdd";
          header = "/var/trust/headers/hdd1-user.luks-header";
          keyfile = "/var/trust/cryptkeys/hdd1-user.luks-key";
        }
      ];
    };

    fs = {
      boot.device = "/dev/disk/by-uuid/";

      sys = {
        device = "/dev/mapper/user";
        ssd = true;
        root = "/root";
        toplevel = "/";
      };

      hdd = {
        device = "/dev/mapper/user-hdd";
        home = "/home";
      };
    };
  };
}