/kernel/trunk/generic/src/main/kinit.c |
27,7 → 27,6 |
*/ |
|
#include <main/kinit.h> |
#include <main/kconsole.h> |
#include <main/uinit.h> |
#include <config.h> |
#include <arch.h> |
45,6 → 44,7 |
#include <print.h> |
#include <memstr.h> |
#include <console/console.h> |
#include <console/kconsole.h> |
|
#ifdef CONFIG_SMP |
#include <arch/smp/mps.h> |
/kernel/trunk/generic/src/main/main.c |
36,7 → 36,7 |
#include <proc/thread.h> |
#include <proc/task.h> |
#include <main/kinit.h> |
#include <main/kconsole.h> |
#include <console/kconsole.h> |
#include <cpu.h> |
#include <align.h> |
|