| /kernel/trunk/generic/src/console/cmd.c |
|---|
| 63,6 → 63,7 |
| #include <proc/thread.h> |
| #include <proc/task.h> |
| #include <ipc/ipc.h> |
| #include <ipc/irq.h> |
| /* Data and methods for 'help' command. */ |
| static int cmd_help(cmd_arg_t *argv); |
| 801,6 → 802,7 |
| printf("The kernel will now relinquish the console.\n"); |
| printf("Use userspace controls to redraw the screen.\n"); |
| arch_release_console(); |
| ipc_irq_send_msg(IPC_IRQ_KBDRESTART, 0, 0, 0); |
| return 1; |
| } |