1 files changed, 15 insertions, 0 deletions
diff --git a/gnu-efi/lib/pause.c b/gnu-efi/lib/pause.c
new file mode 100644
index 00000000..ecab63dc
--- /dev/null
+++ b/gnu-efi/lib/pause.c
@@ -0,0 +1,15 @@
+#include "lib.h"
+
+VOID
+Pause(
+    VOID
+)
+// Pause until any key is pressed
+{
+    EFI_INPUT_KEY Key;
+    EFI_STATUS    Status EFI_UNUSED;
+
+    WaitForSingleEvent(ST->ConIn->WaitForKey, 0);
+    Status = uefi_call_wrapper(ST->ConIn->ReadKeyStroke, 2, ST->ConIn, &Key);
+    ASSERT(!EFI_ERROR(Status));
+}