Rev 4137 | Rev 4216 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4137 | Rev 4173 | ||
---|---|---|---|
Line 62... | Line 62... | ||
62 | #include <proc/scheduler.h> |
62 | #include <proc/scheduler.h> |
63 | #include <proc/thread.h> |
63 | #include <proc/thread.h> |
64 | #include <proc/task.h> |
64 | #include <proc/task.h> |
65 | #include <ipc/ipc.h> |
65 | #include <ipc/ipc.h> |
66 | #include <ipc/irq.h> |
66 | #include <ipc/irq.h> |
- | 67 | #include <event/event.h> |
|
67 | #include <symtab.h> |
68 | #include <symtab.h> |
68 | #include <errno.h> |
69 | #include <errno.h> |
69 | 70 | ||
70 | #ifdef CONFIG_TEST |
71 | #ifdef CONFIG_TEST |
71 | #include <test.h> |
72 | #include <test.h> |
Line 952... | Line 953... | ||
952 | int cmd_continue(cmd_arg_t *argv) |
953 | int cmd_continue(cmd_arg_t *argv) |
953 | { |
954 | { |
954 | printf("The kernel will now relinquish the console.\n"); |
955 | printf("The kernel will now relinquish the console.\n"); |
955 | release_console(); |
956 | release_console(); |
956 | 957 | ||
957 | if ((kconsole_notify) && (kconsole_irq.notif_cfg.notify)) |
- | |
958 | ipc_irq_send_msg_0(&kconsole_irq); |
958 | event_notify_0(EVENT_KCONSOLE); |
959 | 959 | ||
960 | return 1; |
960 | return 1; |
961 | } |
961 | } |
962 | 962 | ||
963 | #ifdef CONFIG_TEST |
963 | #ifdef CONFIG_TEST |