nixos-servers/nix/machines/jefke.nix

{
  machines.jefke = {
    kind = "physical";
    arch = "x86_64-linux";
    isHypervisor = true;

    nixosModule.lab = {
      storage = {
        osDisk = "/dev/sda";
        dataPartition = "/dev/nvme0n1p1";
      };

      ssh = {
        useCertificates = true;
        hostCert = builtins.readFile ./certificates/jefke/host_ed25519.crt;
        userCert = builtins.readFile ./certificates/jefke/user_ed25519.crt;
      };

      k3s.enable = true;
    };
  };
}