Ticket #5312: boot_menu.patch

src/system/boot/platform/bios_ia32/start.c

@@ -101 +101 @@
 
 
 void
+platform_warm_boot(void)
+{
+    asm(
+        "   cli                 ;"
+        "   movl    $0x11, %eax ;"
+        "   movl    %eax, %cr0  ;"
+        "   movl    $0x0, %eax  ;"
+        "   movl    %eax, %cr3  ;"
+        "   movl    $0x200, %eax    ;"
+        "   movl    %eax, %cr4  ;"
+        "   lidt    saved_idt   ;"
+        "   call    switch_to_real_mode ;"
+        "   int $0x19   ;"
+        "   .p2align 4  ;"
+        "saved_idt:     ;"
+        "   .short  0x7ff   ;"
+        "   .long   0x0 ;"
+        "   .long   0x0 ;"
+    );
+}
+
+
+void
+platform_shutdown(void)
+{
+    asm(
+        "   cli                 ;"
+        "   movl    $0x11, %eax ;"
+        "   movl    %eax, %cr0  ;"
+        "   movl    $0x0, %eax  ;"
+        "   movl    %eax, %cr3  ;"
+        "   movl    $0x200, %eax    ;"
+        "   movl    %eax, %cr4  ;"
+        "   lidt    saved_idt   ;"
+        "   call    switch_to_real_mode ;"
+        ".code16                ;"
+                            //APM power off:
+        "   mov     $0x5304, %ax    ;"  //DISCONNECT INTERFACE
+        "   xor     %bx, %bx        ;"
+        "   int     $0x15       ;"
+
+        "   mov     $0x5300, %ax    ;"  //INSTALLATION CHECK
+        "   xor     %bx, %bx        ;"
+        "   int     $0x15       ;"
+        "   push    %ax         ;"  //save driver version
+
+        "   mov     $0x5301, %ax    ;"  //CONNECT REAL-MODE INTERFACE
+        "   xor     %bx, %bx        ;"
+        "   int     $0x15       ;"
+
+        "   mov     $0x5308, %ax    ;"  //ENABLE POWER MANAGEMENT
+        "   mov     $1, %bx     ;"
+        "   mov     $1, %cx     ;"
+        "   int     $0x15       ;"
+
+        "   mov     $0x530E, %ax    ;"  //DRIVER VERSION
+        "   xor     %bx, %bx        ;"
+        "   pop %cx         ;"
+        "   int     $0x15       ;"
+
+        "   mov     $0x530D, %ax    ;"  //ENABLE DEVICE POWER MANAGEMENT
+        "   mov     $1, %bx     ;"
+        "   mov     $1, %cx     ;"
+        "   int     $0x15       ;"
+
+        "   mov     $0x530F, %ax    ;"  //ENGAGE POWER MANAGEMENT
+        "   mov     $1, %bx     ;"
+        "   mov     $1, %cx     ;"
+        "   int     $0x15       ;"
+
+        "   mov     $0x5307,%ax ;"  //TURN OFF SYSTEM
+        "   mov     $1, %bx     ;"
+        "   mov     $3, %cx     ;"
+        "   int     $0x15       ;"
+        ".code32            ;"
+    );
+}
+
+
+void
 platform_exit(void)
 {
     // reset the system using the keyboard controller

src/system/boot/loader/menu.cpp

@@ -522 +522 @@
 }
 
 
+static bool
+user_menu_warm_boot(Menu *menu, MenuItem *item)
+{
+    platform_warm_boot();
+    return false;
+}
+
+
+static bool
+user_menu_shutdown(Menu *menu, MenuItem *item)
+{
+    platform_shutdown();
+    return false;
+}
+
+
 status_t
 user_menu(Directory **_bootVolume)
 {
@@ -542 +558 @@
     // Add platform dependent menus
     platform_add_menus(menu);
 
-    menu->AddSeparatorItem();
-    if (*_bootVolume == NULL) {
-        menu->AddItem(item = new(nothrow) MenuItem("Reboot"));
-        item->SetTarget(user_menu_reboot);
-    }
-
     menu->AddItem(item = new(nothrow) MenuItem("Continue booting"));
     if (*_bootVolume == NULL) {
         item->SetEnabled(false);
         menu->ItemAt(0)->Select(true);
     }
 
+    menu->AddSeparatorItem();
+    menu->AddItem(item = new(nothrow) MenuItem("Reboot"));
+    item->SetTarget(user_menu_reboot);
+
+    menu->AddItem(item = new(nothrow) MenuItem("Fast Reboot"));
+    item->SetTarget(user_menu_warm_boot);
+
+    menu->AddItem(item = new(nothrow) MenuItem("Shutdown"));
+    item->SetTarget(user_menu_shutdown);
+
     menu->Run();
 
     // See if a new boot device has been selected, and propagate that back

headers/private/kernel/boot/platform.h

@@ -41 +41 @@
 extern void platform_switch_to_text_mode(void);
 extern void platform_start_kernel(void);
 extern void platform_exit(void);
+extern void platform_shutdown(void);
+extern void platform_warm_boot(void);
 
 #ifdef __cplusplus
 }