| options/nixos/boot.loader.systemd-boot.edk2-uefi-shell.enable | Make the EDK2 UEFI Shell available from the systemd-boot menu
|
| options/nixos/boot.loader.systemd-boot.windows.<name>.efiDeviceHandle | The device handle of the EFI System Partition (ESP) where the Windows bootloader is
located
|
| options/nixos/boot.loader.systemd-boot.edk2-uefi-shell.sortKey | systemd-boot orders the menu entries by their sort keys,
so if you want something to appear after all the NixOS entries,
it should start with o or onwards
|
| options/nixos/boot.loader.systemd-boot.windows.<name>.sortKey | systemd-boot orders the menu entries by their sort keys,
so if you want something to appear after all the NixOS entries,
it should start with o or onwards
|
| options/nixos/boot.loader.systemd-boot.extraEntries | Any additional entries you want added to the systemd-boot menu
|
| options/nixos/boot.loader.systemd-boot.memtest86.sortKey | systemd-boot orders the menu entries by their sort keys,
so if you want something to appear after all the NixOS entries,
it should start with o or onwards
|
| options/nixos/boot.loader.systemd-boot.netbootxyz.sortKey | systemd-boot orders the menu entries by their sort keys,
so if you want something to appear after all the NixOS entries,
it should start with o or onwards
|
| options/nixos/boot.loader.systemd-boot.consoleMode | The resolution of the console
|
| options/nixos/boot.loader.grub.efiInstallAsRemovable | Whether to invoke grub-install with
--removable
|
| options/nixos/hardware.facter.detected.uefi.supported | Whether to enable the facter uefi module.
|
| options/nixos/services.fwupd.uefiCapsuleSettings | UEFI capsule configurations for the fwupd daemon.
|
| options/nixos/boot.loader.grub.extraGrubInstallArgs | Additional arguments passed to grub-install
|
| options/home-manager/home.shell.enableShellIntegration | Whether to globally enable shell integration for all supported shells
|
| options/nixos/boot.loader.limine.resolution | The framebuffer resolution to set when booting Linux entries
|
| options/nixos/virtualisation.bootPartition | The path (inside the VM) to the device containing the EFI System Partition (ESP)
|
| options/nixos/virtualisation.libvirtd.qemu.ovmf.enable | Allows libvirtd to take advantage of OVMF when creating new
QEMU VMs with UEFI boot.
|
| packages/nixpkgs/shim-unsigned | UEFI shim loader |
| packages/nixpkgs/sbsigntool | Tools for maintaining UEFI signature databases |
| 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/OVMF-cloud-hypervisor | Sample UEFI firmware for Cloud Hypervisor and KVM |
| packages/nixpkgs/efitools | Tools for manipulating UEFI secure boot platforms |
| 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/gnomeExtensions.reboottouefi | Reboot system into UEFI |
| packages/nixpkgs/uefi-run | Directly run UEFI applications in qemu |
| packages/nixpkgs/linuxPackages.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxPackages_lqx.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxPackages_zen.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/python313Packages.edk2-pytool-library | Python library package that supports UEFI development |
| packages/nixpkgs/python314Packages.edk2-pytool-library | Python library package that supports UEFI development |
| packages/nixpkgs/uefitoolPackages.old-engine | UEFI firmware image viewer and editor |
| packages/nixpkgs/linuxPackages_latest.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxPackages_xanmod.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/python312Packages.edk2-pytool-library | Python library package that supports UEFI development |
| 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/linuxKernel.packages.linux_lqx.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxKernel.packages.linux_zen.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxKernel.packages.linux_5_4.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxKernel.packages.linux_6_1.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxKernel.packages.linux_6_6.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxKernel.packages.linux_6_17.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxKernel.packages.linux_6_12.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxKernel.packages.linux_5_10.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxKernel.packages.linux_6_18.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxKernel.packages.linux_6_19.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxKernel.packages.linux_5_15.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxKernel.packages.linux_libre.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/haskellPackages.bluefin-algae | Algebraic effects and named handlers in Bluefin |
| packages/nixpkgs/linuxKernel.packages.linux_xanmod.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| 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/linuxPackages_xanmod_latest.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxPackages_xanmod_stable.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxKernel.packages.linux_hardened.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/perl540Packages.AudioCuefileParser | |
| packages/nixpkgs/perl538Packages.AudioCuefileParser | |
| packages/nixpkgs/haskellPackages.bluefin-internal | The Bluefin effect system, internals |
| packages/nixpkgs/lanzaboote-tool | Lanzaboote UEFI tooling for SecureBoot enablement on NixOS systems (unwrapped; does not contain the required stub) |
| 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/linuxKernel.packages.linux_5_4_hardened.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxKernel.packages.linux_6_6_hardened.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxKernel.packages.linux_6_1_hardened.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxKernel.packages.linux_latest_libre.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxKernel.packages.linux_5_15_hardened.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxKernel.packages.linux_5_10_hardened.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxKernel.packages.linux_xanmod_stable.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxKernel.packages.linux_6_12_hardened.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/linuxKernel.packages.linux_xanmod_latest.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| packages/nixpkgs/bluefish | Powerful editor targeted towards programmers and webdevelopers |
| packages/nixpkgs/uefisettings | CLI tool to read/get/extract and write/change/modify BIOS/UEFI settings |
| 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/nixpkgs/dtbloader | EFI driver that finds and installs DeviceTree into the UEFI configuration table |
| packages/nur/vizqq.thinkpad-uefi-sign | Tools to check and cryptographically sign UEFI firmware images found in ThinkPads |
| packages/nur/xddxdd.dtbloader | EFI driver that finds and installs DeviceTree into the UEFI configuration table |
| packages/nur/xddxdd.uncategorized.dtbloader | EFI driver that finds and installs DeviceTree into the UEFI configuration table |