diff options
Diffstat (limited to 'pkgs/tools/misc/gummiboot/default.nix')
-rw-r--r-- | pkgs/tools/misc/gummiboot/default.nix | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/pkgs/tools/misc/gummiboot/default.nix b/pkgs/tools/misc/gummiboot/default.nix new file mode 100644 index 00000000000..341939ea40f --- /dev/null +++ b/pkgs/tools/misc/gummiboot/default.nix @@ -0,0 +1,32 @@ +{ stdenv, fetchurl, gnu_efi, unzip }: + +stdenv.mkDerivation rec { + name = "gummiboot-16"; + + buildInputs = [ unzip ]; + + patches = [ ./no-usr.patch ]; + + buildFlags = [ + "GNU_EFI=${gnu_efi}" + ] ++ stdenv.lib.optional (stdenv.system == "i686-linux") "ARCH=ia32"; + + installPhase = "mkdir -p $out/bin; mv gummiboot.efi $out/bin"; + + src = fetchurl { + url = "http://cgit.freedesktop.org/gummiboot/snapshot/${name}.zip"; + sha256 = "0as5svmvsbz08qgbvns77qfb36xi9lx2138ikiinqv6finzm8fi1"; + }; + + meta = { + description = "A simple UEFI boot manager which executes configured EFI images"; + + homepage = http://freedesktop.org/wiki/Software/gummiboot; + + license = stdenv.lib.licenses.lgpl21Plus; + + platforms = [ "x86_64-linux" "i686-linux" ]; + + maintainers = [ stdenv.lib.maintainers.shlevy ]; + }; +} |