Rev 1702 | Rev 1735 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1702 | Rev 1712 | ||
|---|---|---|---|
| Line 61... | Line 61... | ||
| 61 | #include <mm/slab.h> |
61 | #include <mm/slab.h> |
| 62 | #include <proc/scheduler.h> |
62 | #include <proc/scheduler.h> |
| 63 | #include <proc/thread.h> |
63 | #include <proc/thread.h> |
| 64 | #include <proc/task.h> |
64 | #include <proc/task.h> |
| 65 | #include <ipc/ipc.h> |
65 | #include <ipc/ipc.h> |
| - | 66 | #include <ipc/irq.h> |
|
| 66 | 67 | ||
| 67 | /* Data and methods for 'help' command. */ |
68 | /* Data and methods for 'help' command. */ |
| 68 | static int cmd_help(cmd_arg_t *argv); |
69 | static int cmd_help(cmd_arg_t *argv); |
| 69 | static cmd_info_t help_info = { |
70 | static cmd_info_t help_info = { |
| 70 | .name = "help", |
71 | .name = "help", |
| Line 799... | Line 800... | ||
| 799 | int cmd_continue(cmd_arg_t *argv) |
800 | int cmd_continue(cmd_arg_t *argv) |
| 800 | { |
801 | { |
| 801 | printf("The kernel will now relinquish the console.\n"); |
802 | printf("The kernel will now relinquish the console.\n"); |
| 802 | printf("Use userspace controls to redraw the screen.\n"); |
803 | printf("Use userspace controls to redraw the screen.\n"); |
| 803 | arch_release_console(); |
804 | arch_release_console(); |
| - | 805 | ipc_irq_send_msg(IPC_IRQ_KBDRESTART, 0, 0, 0); |
|
| 804 | return 1; |
806 | return 1; |
| 805 | } |
807 | } |
| 806 | 808 | ||
| 807 | /** @} |
809 | /** @} |
| 808 | */ |
810 | */ |