| edk2-uefi-shell | UEFI Shell from Tianocore EFI development kit |
| gnomeExtensions.reboottouefi | Reboot system into UEFI |
| uefi-run | Directly run UEFI applications in qemu |
| linuxPackages.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| linuxPackages_lqx.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| linuxPackages_zen.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| uefitoolPackages.old-engine | UEFI firmware image viewer and editor |
| uefi-firmware-parser | Tool for parsing, extracting, and recreating UEFI firmware volumes |
| linuxPackages_latest.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| linuxPackages_xanmod.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| uefitoolPackages.new-engine | UEFI firmware image viewer and editor |
| python313Packages.edk2-pytool-library | Python library package that supports UEFI development |
| python314Packages.edk2-pytool-library | Python library package that supports UEFI development |
| python312Packages.edk2-pytool-library | Python library package that supports UEFI development |
| linuxKernel.packages.linux_lqx.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| linuxKernel.packages.linux_zen.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| linuxKernel.packages.linux_5_4.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| linuxKernel.packages.linux_6_1.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| linuxKernel.packages.linux_6_6.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| haskellPackages.bluefin | The Bluefin effect system |
| linuxKernel.packages.linux_6_17.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| linuxKernel.packages.linux_6_12.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| linuxKernel.packages.linux_5_10.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| linuxKernel.packages.linux_6_18.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| linuxKernel.packages.linux_6_19.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| linuxKernel.packages.linux_5_15.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| uefitool | UEFI firmware image viewer and editor |
| linuxKernel.packages.linux_libre.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| haskellPackages.bluefin-algae | Algebraic effects and named handlers in Bluefin |
| linuxKernel.packages.linux_xanmod.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| perlPackages.AudioCuefileParser | |
| haskellPackages.bluefin-random | The Bluefin effect system, random generators |
| perl5Packages.AudioCuefileParser | |
| linuxPackages_xanmod_latest.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| linuxPackages_xanmod_stable.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| haskellPackages.bluefin-contrib | The Bluefin effect system, user contributions |
| linuxKernel.packages.linux_hardened.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| perl540Packages.AudioCuefileParser | |
| perl538Packages.AudioCuefileParser | |
| haskellPackages.bluefin-internal | The Bluefin effect system, internals |
| lanzaboote-tool | Lanzaboote UEFI tooling for SecureBoot enablement on NixOS systems (unwrapped; does not contain the required stub) |
| haskellPackages.bluefin_0_2_0_0 | The Bluefin effect system |
| haskellPackages.bluefin_0_2_4_0 | The Bluefin effect system |
| linuxKernel.packages.linux_5_4_hardened.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| linuxKernel.packages.linux_6_6_hardened.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| linuxKernel.packages.linux_6_1_hardened.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| linuxKernel.packages.linux_latest_libre.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| uefisettings | CLI tool to read/get/extract and write/change/modify BIOS/UEFI settings |
| bluefish | Powerful editor targeted towards programmers and webdevelopers |
| linuxKernel.packages.linux_5_15_hardened.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| linuxKernel.packages.linux_5_10_hardened.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| linuxKernel.packages.linux_xanmod_stable.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| linuxKernel.packages.linux_6_12_hardened.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| linuxKernel.packages.linux_xanmod_latest.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| haskellPackages.bluefin-internal_0_2_0_0 | The Bluefin effect system, internals |
| haskellPackages.bluefin-internal_0_3_2_0 | The Bluefin effect system, internals |
| shim-unsigned | UEFI shim loader |
| dtbloader | EFI driver that finds and installs DeviceTree into the UEFI configuration table |
| sbsigntool | Tools for maintaining UEFI signature databases |
| OVMF | Sample UEFI firmware for QEMU and KVM |
| OVMFFull | Sample UEFI firmware for QEMU and KVM |
| fiano | Go-based tools for modifying UEFI firmware |
| OVMF-cloud-hypervisor | Sample UEFI firmware for Cloud Hypervisor and KVM |
| efitools | Tools for manipulating UEFI secure boot platforms |
| ifrextractor-rs | Rust utility to extract UEFI IFR data into human-readable text |