linux-hardened/profiles.nix

{
  x86_64-linux = {
    qemu-virtio = {
      arch = "x86-64-v3";
      config = ./x86-64/qemu-virtio.nix;
      firmware = [ ];
    };

    thinkpad-x1-extreme-gen5 = {
      arch = "alderlake";
      config = ./x86-64/thinkpad-x1-extreme-gen5.nix;
      firmware = [
        "i915/adlp_dmc.bin"
        "i915/adlp_dmc_ver2_16.bin"
        "i915/adlp_guc_70.bin"
        "i915/tgl_huc.bin"
        "intel/ibt-0040-0041.sfi"
        "intel/ibt-0040-0041.ddc"
        "intel/sof/sof-adl.ri"
        "intel/sof-tplg/sof-hda-generic-2ch.tplg"
        "iwlwifi-so-a0-gf-a0-89.ucode"
        "iwlwifi-so-a0-gf-a0.pnvm"
        "nvidia/ga107/acr/ucode_unload.bin"
        "nvidia/ga107/acr/ucode_asb.bin"
        "nvidia/ga107/acr/ucode_ahesasc.bin"
        "nvidia/ga107/gr/fecs_bl.bin"
        "nvidia/ga107/gr/fecs_sig.bin"
        "nvidia/ga107/gr/gpccs_bl.bin"
        "nvidia/ga107/gr/gpccs_sig.bin"
        "nvidia/ga107/gr/NET_img.bin"
        "nvidia/ga107/sec2/desc.bin"
        "nvidia/ga107/sec2/image.bin"
        "nvidia/ga107/sec2/sig.bin"
        "nvidia/ga107/sec2/hs_bl_sig.bin"
        "nvidia/ga107/nvdec/scrubber.bin"
        "nvidia/ga107/gsp/booter_load-535.113.01.bin"
        "nvidia/ga107/gsp/booter_unload-535.113.01.bin"
        "nvidia/ga107/gsp/bootloader-535.113.01.bin"
        "nvidia/ga107/gsp/gsp-535.113.01.bin"
        "regulatory.db"
        "regulatory.db.p7s"
        "rtl_nic/rtl8153b-2.fw"
      ];
    };

    zen3-stub = {
      arch = "znver3";
      config = ./x86-64/zen3-stub.nix;
      firmware = [ ];
    };
  };

  riscv64-linux = {
    qemu-virtio = {
      arch = "rv64gc";
      config = ./riscv/qemu-virtio.nix;
      firmware = [ ];
    };
  };

  aarch64-linux = {
    qemu-virtio = {
      arch = "armv8.2-a";
      config = ./arm64/qemu-virtio.nix;
      firmware = [ ];
    };
  };
}