Rev 1 | Rev 11 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1 | Rev 5 | ||
---|---|---|---|
Line 44... | Line 44... | ||
44 | #include <arch/mp.h> |
44 | #include <arch/mp.h> |
45 | #endif /* __SMP__ */ |
45 | #endif /* __SMP__ */ |
46 | 46 | ||
47 | #include <mm/frame.h> |
47 | #include <mm/frame.h> |
48 | #include <mm/page.h> |
48 | #include <mm/page.h> |
- | 49 | #include <mm/tlb.h> |
|
49 | #include <synch/waitq.h> |
50 | #include <synch/waitq.h> |
50 | 51 | ||
51 | #include <arch.h> |
52 | #include <arch.h> |
52 | 53 | ||
53 | char *project = "SPARTAN kernel"; |
54 | char *project = "SPARTAN kernel"; |
Line 108... | Line 109... | ||
108 | config.base, hardcoded_ktext_size/1024, hardcoded_kdata_size/1024); |
109 | config.base, hardcoded_ktext_size/1024, hardcoded_kdata_size/1024); |
109 | 110 | ||
110 | heap_init(config.base + hardcoded_ktext_size + hardcoded_kdata_size, CONFIG_HEAP_SIZE); |
111 | heap_init(config.base + hardcoded_ktext_size + hardcoded_kdata_size, CONFIG_HEAP_SIZE); |
111 | frame_init(); |
112 | frame_init(); |
112 | page_init(); |
113 | page_init(); |
- | 114 | tlb_init(); |
|
113 | 115 | ||
114 | #ifdef __SMP__ |
116 | #ifdef __SMP__ |
115 | mp_init(); /* Multiprocessor */ |
117 | mp_init(); /* Multiprocessor */ |
116 | #endif /* __SMP__ */ |
118 | #endif /* __SMP__ */ |
117 | 119 |