//kernel/trunk/generic/include/ipc/irq.h |
---|
42,6 → 42,7 |
#define IPC_IRQ_RESERVED_VIRTUAL 10 |
#define IPC_IRQ_KLOG (-1) |
#define IPC_IRQ_KBDRESTART (-2) |
typedef enum { |
CMD_MEM_READ_1 = 0, |
//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; |
} |