1 files changed, 17 insertions, 0 deletions
diff --git a/disk/gnu-efi/DETAILS b/disk/gnu-efi/DETAILS
new file mode 100755
index 0000000000..d78e438b61
--- /dev/null
+++ b/disk/gnu-efi/DETAILS
@@ -0,0 +1,17 @@
+           SPELL=gnu-efi
+         VERSION=3.0v
+     SOURCE_HASH=sha512:0bacae20dafb8ea2e8293d8dac9be395e2d1a05ac2d58aff96593cd99def8a2335c967e0fb2f02c3a1cb1571ad4a8b97671b542a21b519391abfa915af6dd695
+      PATCHLEVEL=1
+          SOURCE=${SPELL}_${VERSION}.orig.tar.gz
+SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-${VERSION/[a-z]/}
+   SOURCE_URL[0]=$SOURCEFORGE_URL/$SPELL/$SOURCE
+        WEB_SITE=http://$SPELL.SourceForge.net
+      LICENSE[0]=BSD
+         ENTERED=20140202
+  STAGED_INSTALL=off
+        KEYWORDS="disk efi"
+           SHORT="Develop EFI applications"
+cat << EOF
+Develop EFI applications for IA-64 (IPF), IA-32 (x86) , and x86_64 platforms using the GNU 
+toolchain and the EFI development environment
+EOF