Add efi-shell 2.0 binary.

diff --git a/packaging/efi-shell.spec b/packaging/efi-shell.spec
new file mode 100644 (file)
index 0000000..3bf9c01
--- /dev/null
+++ b/packaging/efi-shell.spec
@@ -0,0 +1,23 @@
+Name:           efi-shell
+Version:        2.0
+Release:        1
+License:        BSD-3-Clause
+Summary:        Shell for the firmware
+Url:            http://sourceforge.net/projects/edk2/
+Group:          Base/Startup
+Source0:        packaging/shell.efi
+
+%description
+EFI Shell for loading EFI applications including bootloaders.
+
+%prep
+
+%build
+
+%install
+rm -fr %{buildroot}
+install -D %{SOURCE0} %{buildroot}/boot/EFI/shellx64.efi
+
+%files
+%defattr(-,root,root)
+/boot/EFI/shellx64.efi

diff --git a/packaging/shell.efi b/packaging/shell.efi
new file mode 100644 (file)
index 0000000..7667a07
Binary files /dev/null and b/packaging/shell.efi differ