Rev 2131 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2131 | Rev 2307 | ||
---|---|---|---|
Line 126... | Line 126... | ||
126 | * |
126 | * |
127 | */ |
127 | */ |
128 | void arch_grab_console(void) |
128 | void arch_grab_console(void) |
129 | { |
129 | { |
130 | } |
130 | } |
- | 131 | ||
131 | /** Return console to userspace |
132 | /** Return console to userspace |
132 | * |
133 | * |
133 | */ |
134 | */ |
134 | void arch_release_console(void) |
135 | void arch_release_console(void) |
135 | { |
136 | { |
136 | } |
137 | } |
137 | 138 | ||
- | 139 | void arch_reboot(void) |
|
- | 140 | { |
|
- | 141 | // TODO |
|
- | 142 | while (1); |
|
- | 143 | } |
|
- | 144 | ||
138 | /** @} |
145 | /** @} |
139 | */ |
146 | */ |