| /branches/sparc/kernel/generic/src/console/console.c |
|---|
| 38,6 → 38,7 |
| #include <sysinfo/sysinfo.h> |
| #include <synch/waitq.h> |
| #include <synch/spinlock.h> |
| #include <arch/asm.h> |
| #include <arch/types.h> |
| #include <ddi/device.h> |
| #include <ddi/irq.h> |
| /branches/sparc/kernel/generic/src/console/cmd.c |
|---|
| 45,6 → 45,7 |
| #include <console/kconsole.h> |
| #include <print.h> |
| #include <panic.h> |
| #include <arch/asm.h> |
| #include <arch/types.h> |
| #include <adt/list.h> |
| #include <arch.h> |