| /trunk/kernel/generic/src/console/console.c |
|---|
| 38,7 → 38,6 |
| #include <synch/waitq.h> |
| #include <synch/spinlock.h> |
| #include <arch/types.h> |
| #include <typedefs.h> |
| #include <arch.h> |
| #include <func.h> |
| #include <print.h> |
| /trunk/kernel/generic/src/console/cmd.c |
|---|
| 45,7 → 45,6 |
| #include <console/kconsole.h> |
| #include <print.h> |
| #include <panic.h> |
| #include <typedefs.h> |
| #include <arch/types.h> |
| #include <adt/list.h> |
| #include <arch.h> |
| /trunk/kernel/generic/src/console/kconsole.c |
|---|
| 43,7 → 43,6 |
| #include <console/cmd.h> |
| #include <print.h> |
| #include <panic.h> |
| #include <typedefs.h> |
| #include <arch/types.h> |
| #include <adt/list.h> |
| #include <arch.h> |