/trunk/kernel/generic/src/console/console.c |
---|
38,6 → 38,7 |
#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,6 → 45,7 |
#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,6 → 43,7 |
#include <console/cmd.h> |
#include <print.h> |
#include <panic.h> |
#include <typedefs.h> |
#include <arch/types.h> |
#include <adt/list.h> |
#include <arch.h> |