{
  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"
        "regulatory.db" "regulatory.db.p7s"
      ];
    };

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