Implement reboot for x86_64 efi menu

Fixes #15050 Change-Id: I9b0d8dab9cc0eba85f6d242e946d0291c59580eb Reviewed-on: https://review.haiku-os.org/c/haiku/+/3740 Reviewed-by: Fredrik Holmqvist <[email protected]>
2021-02-08 22:00:38 +00:00
parent a7cda27731
commit 6df09499e6
1 changed files with 1 additions and 0 deletions
@@ -180,6 +180,7 @@ platform_start_kernel(void)
 extern "C" void
 platform_exit(void)
 {
+	kRuntimeServices->ResetSystem(EfiResetCold, EFI_SUCCESS, 0, NULL);
 	return;
 }