infra/nix/os/devices/steveej-t480s-work/hw.nix

{ ... }:

let
  stage1Modules =  [
    "aesni_intel"
    "kvm-intel"
    "aes_x86_64"
    "nvme"
    "nvme_core"
  ];

in
{
  # TASK: new device
  hardware.encryptedDisk = {
    enable = true;
    diskId = "nvme-SAMSUNG_MZVLW256HEHP-000L7_S35ENX0K827498";
  };

  # boot.initrd.availableKernelModules = stage1Modules;
  boot.initrd.kernelModules = stage1Modules;
  boot.extraModprobeConfig = ''
    options kvm-intel nested=1
    options kvm-intel enable_shadow_vmcs=1
    options kvm-intel enable_apicv=1
    options kvm-intel ept=1
  '';
}