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 | */ |