Rev 1923 | Rev 2019 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1923 | Rev 1929 | ||
|---|---|---|---|
| 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 */ |
- | |
| 806 | ipc_irq_send_msg(NULL, 0, 0, 0); |
- | |
| 807 | return 1; |
805 | return 1; |
| 808 | } |
806 | } |
| 809 | 807 | ||
| 810 | /** @} |
808 | /** @} |
| 811 | */ |
809 | */ |