| packages/nixpkgs/OVMF | Sample UEFI firmware for QEMU and KVM |
| packages/nixpkgs/OVMFFull | Sample UEFI firmware for QEMU and KVM |
| packages/nixpkgs/fiano | Go-based tools for modifying UEFI firmware |
| packages/nixpkgs/ifrextractor-rs | Rust utility to extract UEFI IFR data into human-readable text |
| packages/nixpkgs/edk2-uefi-shell | UEFI Shell from Tianocore EFI development kit |
| packages/nixpkgs/uefi-run | Directly run UEFI applications in qemu |
| packages/nixpkgs/uefitoolPackages.new-engine | UEFI firmware image viewer and editor |
| packages/nixpkgs/uefi-firmware-parser | Tool for parsing, extracting, and recreating UEFI firmware volumes |
| packages/nixpkgs/haskellPackages.bluefin | The Bluefin effect system |
| packages/nixpkgs/haskellPackages.bluefin-algae | Algebraic effects and named handlers in Bluefin |
| packages/nixpkgs/perlPackages.AudioCuefileParser | |
| packages/nixpkgs/haskellPackages.bluefin-random | The Bluefin effect system, random generators |
| packages/nixpkgs/perl5Packages.AudioCuefileParser | |
| packages/nixpkgs/uefitool | UEFI firmware image viewer and editor |
| packages/nixpkgs/haskellPackages.bluefin-contrib | The Bluefin effect system, user contributions |
| packages/nixpkgs/perl540Packages.AudioCuefileParser | |
| packages/nixpkgs/perl538Packages.AudioCuefileParser | |
| packages/nixpkgs/haskellPackages.bluefin-internal | The Bluefin effect system, internals |
| packages/nixpkgs/haskellPackages.bluefin_0_2_0_0 | The Bluefin effect system |
| packages/nixpkgs/haskellPackages.bluefin_0_2_4_0 | The Bluefin effect system |
| packages/nixpkgs/bluefish | Powerful editor targeted towards programmers and webdevelopers |
| packages/nixpkgs/haskellPackages.bluefin-internal_0_2_0_0 | The Bluefin effect system, internals |
| packages/nixpkgs/haskellPackages.bluefin-internal_0_3_2_0 | The Bluefin effect system, internals |
| packages/nur/vizqq.thinkpad-uefi-sign | Tools to check and cryptographically sign UEFI firmware images found in ThinkPads |