| UEFI firmware for 64-bit x86 virtual machines | |
| https://github.com/tianocore/edk2 | |
| edk2-ovmf-bin-202202-r20240214 | BSD-2 MIT |
| download~amd64 ~arm64 ~loong ~ppc ~ppc64 ~riscv ~x86 | inode64-overlay |
| edk2-ovmf-bin-202202 | BSD-2 MIT |
| downloadamd64 arm64 ~loong ~ppc ppc64 ~riscv x86 | gentoo |