Rev 3761 | Rev 3875 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3761 | Rev 3844 | ||
|---|---|---|---|
| Line 974... | Line 974... | ||
| 974 | * return Always 1. |
974 | * return Always 1. |
| 975 | */ |
975 | */ |
| 976 | int cmd_continue(cmd_arg_t *argv) |
976 | int cmd_continue(cmd_arg_t *argv) |
| 977 | { |
977 | { |
| 978 | printf("The kernel will now relinquish the console.\n"); |
978 | printf("The kernel will now relinquish the console.\n"); |
| 979 | arch_release_console(); |
979 | release_console(); |
| 980 | 980 | ||
| 981 | if ((kconsole_notify) && (kconsole_irq.notif_cfg.notify)) |
981 | if ((kconsole_notify) && (kconsole_irq.notif_cfg.notify)) |
| 982 | ipc_irq_send_msg_0(&kconsole_irq); |
982 | ipc_irq_send_msg_0(&kconsole_irq); |
| 983 | 983 | ||
| 984 | return 1; |
984 | return 1; |