diff options
-rw-r--r-- | common/keyboard.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/common/keyboard.c b/common/keyboard.c index e18a7603e9..aed4b0fbe1 100644 --- a/common/keyboard.c +++ b/common/keyboard.c @@ -14,6 +14,7 @@ #include "timer.h" #include "uart.h" #include "util.h" +#include "x86_power.h" #define KEYBOARD_DEBUG 1 @@ -499,6 +500,12 @@ int handle_keyboard_command(uint8_t command, uint8_t *output) { data_port_state = STATE_SEND_TO_MOUSE; break; +#ifdef CONFIG_TASK_X86POWER + case I8042_SYSTEM_RESET: + x86_power_reset(); + break; +#endif + default: if (command >= I8042_READ_CTL_RAM && command <= I8042_READ_CTL_RAM_END) { |