nixos-config/hosts/prophet/hardware/default.nix

{ lib, ... }:
{
  boot.initrd.availableKernelModules = [ "xhci_pci" "virtio_scsi" ];
  boot.initrd.kernelModules = [ "dm-snapshot" ];

  nixpkgs.hostPlatform = lib.mkDefault "aarch64-linux";
}