1 files changed, 19 insertions, 0 deletions
diff --git a/gnu-efi/lib/exit.c b/gnu-efi/lib/exit.c
new file mode 100644
index 00000000..ada27c94
--- /dev/null
+++ b/gnu-efi/lib/exit.c
@@ -0,0 +1,19 @@
+#include "lib.h"
+
+VOID
+Exit(
+    IN EFI_STATUS   ExitStatus,
+    IN UINTN        ExitDataSize,
+    IN CHAR16       *ExitData OPTIONAL
+    )
+{
+    uefi_call_wrapper(BS->Exit,
+            4,
+            LibImageHandle,
+            ExitStatus,
+            ExitDataSize,
+            ExitData);
+
+    // Uh oh, Exit() returned?!
+    for (;;) { }
+}