#include <stdio.h>
#include <string.h>
#include "devices/input.h"
+#include "threads/init.h"
#include "threads/interrupt.h"
#include "threads/io.h"
that we handle elsewhere. */
static const struct keymap invariant_keymap[] =
{
- {0x01, "\033"},
+ {0x01, "\033"}, /* Escape. */
{0x0e, "\b"},
{0x0f, "\tQWERTYUIOP"},
{0x1c, "\r"},
{0x2c, "ZXCVBNM"},
{0x37, "*"},
{0x39, " "},
+ {0x53, "\177"}, /* Delete. */
{0, NULL},
};
/* Ordinary character. */
if (!release)
{
+ /* Reboot if Ctrl+Alt+Del pressed. */
+ if (c == 0177 && ctrl && alt)
+ reboot ();
+
/* Handle Ctrl, Shift.
Note that Ctrl overrides Shift. */
if (ctrl && c >= 0x40 && c < 0x60)