/kernel/trunk/generic/src/main/main.c |
---|
49,6 → 49,7 |
#include <genarch/mm/page_pt.h> |
#include <mm/tlb.h> |
#include <mm/as.h> |
#include <mm/slab.h> |
#include <synch/waitq.h> |
#include <arch/arch.h> |
#include <arch.h> |
162,6 → 163,7 |
as_init(); |
page_init(); |
tlb_init(); |
slab_cache_init(); |
arch_post_mm_init(); |
version_print(); |