diff --git a/pkgs/development/libraries/gnu-efi/default.nix b/pkgs/development/libraries/gnu-efi/default.nix
new file mode 100644
index 000000000000..c43e9f6b4da6
--- /dev/null
+++ b/pkgs/development/libraries/gnu-efi/default.nix
@@ -0,0 +1,40 @@
+{ stdenv
+, fetchurl
+}:
+
+stdenv.mkDerivation {
+  name = "gnu-efi-3.0p";
+
+  src = fetchurl {
+    url = "mirror://sourceforge/gnu-efi/gnu-efi_3.0p.orig.tar.gz";
+    sha256 = "1pm4wk1gma7mb8z19js7kb5y31a0zk308mkafmq6gb0b2a0i39cn";
+  };
+
+  meta = {
+    description = "GNU EFI development toolchain";
+    homepage = http://sourceforge.net/projects/gnu-efi/;
+    license = "GPL";
+    maintainers = [ stdenv.lib.maintainers.shlevy ];
+    platforms = ["x86_64-linux" "i686-linux"];
+  };
+
+  buildFlags = [
+    "CC=cc"
+    "AS=as"
+    "LD=ld"
+    "AR=ar"
+    "RANLIB=ranlib"
+    "OBJCOPY=objcopy"
+  ];
+
+  buildPhase = ''
+    make $buildFlags
+    make $buildFlags -C apps clean all
+  '';
+
+  installPhase = ''
+    make INSTALLROOT="$out" install
+    mkdir -pv $out/share/gnu-efi
+    install -D -m644 apps/*.efi $out/share/gnu-efi
+  '';
+}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 4ed337a1acdd..11217998fb88 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -3683,6 +3683,10 @@ let
 
   gnet = callPackage ../development/libraries/gnet { };
 
+  gnu_efi = callPackage ../development/libraries/gnu-efi {
+    stdenv = overrideInStdenv stdenv [gnumake381];
+  };
+
   gnutls = callPackage ../development/libraries/gnutls {
     guileBindings = getConfig ["gnutls" "guile"] true;
   };