/trunk/kernel/generic/src/console/cmd.c |
---|
802,8 → 802,6 |
printf("The kernel will now relinquish the console.\n"); |
printf("Use userspace controls to redraw the screen.\n"); |
arch_release_console(); |
/* TODO: send some vitual IRQ */ |
ipc_irq_send_msg(NULL, 0, 0, 0); |
return 1; |
} |