//kernel/trunk/generic/src/main/kinit.c |
---|
41,8 → 41,10 |
#include <mm/page.h> |
#include <arch/mm/page.h> |
#include <mm/vm.h> |
#include <mm/frame.h> |
#include <print.h> |
#include <memstr.h> |
#include <console/console.h> |
#ifdef CONFIG_SMP |
#include <arch/smp/mps.h> |
55,8 → 57,8 |
#include <test.h> |
#endif /* CONFIG_TEST */ |
#include <mm/frame.h> |
void kinit(void *arg) |
{ |
vm_t *m; |
168,9 → 170,11 |
test(); |
#endif /* CONFIG_TEST */ |
if (!stdin) { |
while (1) { |
thread_sleep(1); |
printf("kinit... "); |
} |
} |
} |