nixpkgs/pkgs/tools/misc/gummiboot
2013-02-02 11:03:01 -05:00
..
default.nix Gummiboot: Fix build on 32-bit Linux 2013-02-02 11:03:01 -05:00
no-usr.patch Add gummiboot UEFI boot manager 2013-02-01 17:42:19 -05:00