Minor enhancement - kbd reset should set 0x1234 in BDA reset flag.

diff --git a/src/kbd.c b/src/kbd.c
index 04f3ff3cf45c074651a9b0e5677163608adaaa47..4c43c317e670a25aa952ee4b48f59ab68f11277f 100644 (file)
--- a/src/kbd.c
+++ b/src/kbd.c
@@ -552,9 +552,11 @@ process_key(u8 scancode)
         if (scancode & 0x80)
             // toss key releases
             break;
-        if (scancode == 0x53 && (shift_flags & 0x0c) == 0x0c)
+        if (scancode == 0x53 && (shift_flags & 0x0c) == 0x0c) {
             // Ctrl+alt+del - reset machine.
+            SET_BDA(soft_reset_flag, 0x1234);
             reset_vector();
+        }
         if (scancode > MAX_SCAN_CODE) {
             dprintf(1, "KBD: int09h_handler(): unknown scancode read: 0x%02x!\n"
                     , scancode);