nixpkgs/nixos/modules/hardware/cpu
..
amd-microcode.nix
amd-sev.nix
intel-microcode.nix
intel-sgx.nix
x86-msr.nix