OVMF-inteltdx

OVMF-inteltdx 202608

UEFI firmware with Intel TDX support

https://github.com/tianocore/tianocore.github.io/wiki/OVMF
BSD 2-clause "Simplified" License
programs: -
Platforms (11)
x86_64-genodex86_64-windowsx86_64-linuxx86_64-uefix86_64-openbsdx86_64-cygwinx86_64-freebsdx86_64-solaris
View source on NixOS/nixpkgs →

Install

Copy into your configuration

NixOS (configuration.nix)
environment.systemPackages = with pkgs; [
  OVMF-inteltdx
];
Ad-hoc shell
nix-shell -p OVMF-inteltdx
Flake (nix run)
nix run nixpkgs#OVMF-inteltdx