{
  config = {
    hostname = "p-user";
    portable = true;

    dhcpInterface = "enp5s0";

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

    videoDrivers = [ "amdgpu" ];

    crypt.toplevel = {
      device = "/dev/hdd0/user.crypt";
      target = "user-portable";
      headerFromBoot = "tierra/trust/hdd0-user.luks-header";
    };

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

      sys = {
        device = "/dev/mapper/user-portable";
        ssd = false;
        root = "/run/nixroot";
        toplevel = "/run";
      };

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