Rev 1888 | Rev 1929 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1888 | Rev 1923 | ||
|---|---|---|---|
| Line 800... | Line 800... | ||
| 800 | int cmd_continue(cmd_arg_t *argv) |
800 | int cmd_continue(cmd_arg_t *argv) |
| 801 | { |
801 | { |
| 802 | printf("The kernel will now relinquish the console.\n"); |
802 | printf("The kernel will now relinquish the console.\n"); |
| 803 | printf("Use userspace controls to redraw the screen.\n"); |
803 | printf("Use userspace controls to redraw the screen.\n"); |
| 804 | arch_release_console(); |
804 | arch_release_console(); |
| - | 805 | /* TODO: send some vitual IRQ */ |
|
| 805 | ipc_irq_send_msg(IPC_IRQ_KBDRESTART, 0, 0, 0); |
806 | ipc_irq_send_msg(NULL, 0, 0, 0); |
| 806 | return 1; |
807 | return 1; |
| 807 | } |
808 | } |
| 808 | 809 | ||
| 809 | /** @} |
810 | /** @} |
| 810 | */ |
811 | */ |