1 files changed, 10 insertions, 0 deletions
diff --git a/reboot.c b/reboot.c
new file mode 100644
index 000000000000..2bfd2531a07d
--- /dev/null
+++ b/reboot.c
@@ -0,0 +1,10 @@
+#include <efi.h>
+#include <efilib.h>
+
+EFI_STATUS
+EFIAPI
+efi_main (EFI_HANDLE ImageHandle, EFI_SYSTEM_TABLE *SystemTable) {
+    InitializeLib(ImageHandle, SystemTable);
+    return uefi_call_wrapper(SystemTable->RuntimeServices->ResetSystem, 4, 
+                             EfiResetCold, EFI_SUCCESS, sizeof(NULL), NULL);
+}