| /trunk/kernel/arch/sparc64/src/sparc64.c |
|---|
| 70,11 → 70,13 |
| void arch_pre_mm_init(void) |
| { |
| if (config.cpu_active == 1) |
| trap_init(); |
| } |
| void arch_post_mm_init(void) |
| { |
| if (config.cpu_active == 1) |
| standalone_sparc64_console_init(); |
| } |
| 90,6 → 92,7 |
| { |
| thread_t *t; |
| if (config.cpu_active == 1) { |
| /* |
| * Create thread that polls keyboard. |
| */ |
| 98,6 → 101,7 |
| panic("cannot create kkbdpoll\n"); |
| thread_ready(t); |
| } |
| } |
| /** Calibrate delay loop. |
| * |