| 37,7 → 37,6 |
|---|
| #include <config.h> |
| #include <arch/trap/trap.h> |
| #include <arch/console.h> |
| #include <proc/thread.h> |
| #include <console/console.h> |
| #include <arch/boot/boot.h> |
| #include <arch/arch.h> |
| 89,8 → 88,6 |
|---|
| * But we only create 128 buckets. |
| */ |
| irq_init(1 << 11, 128); |
| |
| standalone_sparc64_console_init(); |
| } |
| } |
| |
| 104,17 → 101,7 |
|---|
| |
| void arch_post_smp_init(void) |
| { |
| static thread_t *t = NULL; |
| |
| if (!t) { |
| /* |
| * Create thread that polls keyboard. |
| */ |
| t = thread_create(kkbdpoll, NULL, TASK, 0, "kkbdpoll", true); |
| if (!t) |
| panic("Cannot create kkbdpoll."); |
| thread_ready(t); |
| } |
| standalone_sparc64_console_init(); |
| } |
| |
| /** Calibrate delay loop. |