/SPARTAN/trunk/src/main/kinit.c |
---|
42,7 → 42,7 |
#include <mm/vm.h> |
#ifdef __SMP__ |
#include <arch/smp/mp.h> |
#include <arch/smp/mps.h> |
#endif /* __SMP__ */ |
#include <synch/waitq.h> |
114,6 → 114,7 |
cpu_priority_low(); |
#ifdef __USERSPACE__ |
/* |
* Create the first user task. |
*/ |
138,6 → 139,7 |
if (!a) panic(PANIC "vm_area_create: vm_stack"); |
thread_ready(t); |
#endif /* __USERSPACE__ */ |
#ifdef __TEST__ |
test(); |
/SPARTAN/trunk/src/main/main.c |
---|
41,9 → 41,11 |
#ifdef __SMP__ |
#include <arch/smp/apic.h> |
#include <arch/smp/mp.h> |
#include <arch/smp/mps.h> |
#endif /* __SMP__ */ |
#include <smp/smp.h> |
#include <mm/frame.h> |
#include <mm/page.h> |
#include <mm/tlb.h> |
117,6 → 119,7 |
arch_late_init(); |
smp_init(); |
printf("config.cpu_count=%d\n", config.cpu_count); |
cpu_init(); |