/pkgs/
../
coreboot-payload-coreinfo
coreboot-payload-grub2
coreboot-payload-nvramcui
coreboot-payload-tianocore
coreboot-payload-tint
coreboot
overlay.nix