Active messages using dynamically allocated memory
[akaros.git] / kern / src / init.c
1 /* See COPYRIGHT for copyright information. */
2
3 #ifdef __SHARC__
4 #pragma nosharc
5 #endif
6
7 #ifdef __BSD_ON_CORE_0__
8 #include Everything For Free -- It just works!!
9 #else
10
11 #include <arch/arch.h>
12 #include <arch/console.h>
13 #include <multiboot.h>
14 #include <stab.h>
15 #include <smp.h>
16
17 #include <atomic.h>
18 #include <stdio.h>
19 #include <string.h>
20 #include <assert.h>
21 #include <monitor.h>
22 #include <pmap.h>
23 #include <process.h>
24 #include <trap.h>
25 #include <syscall.h>
26 #include <kclock.h>
27 #include <manager.h>
28 #include <testing.h>
29 #include <kmalloc.h>
30
31 #include <arch/init.h>
32 #include <slab.h>
33
34 // zra: flag for Ivy
35 int booting = 1;
36
37 void kernel_init(multiboot_info_t *mboot_info)
38 {
39         extern char (RO BND(__this, end) edata)[], (RO SNT end)[];
40
41         // Before doing anything else, complete the ELF loading process.
42         // Clear the uninitialized global data (BSS) section of our program.
43         // This ensures that all static/global variables start out zero.
44         memset(edata, 0, end - edata);
45
46         // Initialize the console.
47         // Can't call cprintf until after we do this!
48         cons_init();
49
50         print_cpuinfo();
51
52         // Old way, pre Zach's Ivy annotations
53         //multiboot_detect_memory((multiboot_info_t*)((uint32_t)mboot_info + KERNBASE));
54         //multiboot_print_memory_map((multiboot_info_t*)((uint32_t)mboot_info + KERNBASE));
55         
56         // Paul: Can't use KADDR as arg to multiboot_detect_memory
57         //  since multiboot_detect_memory is what sets npages. 
58         //  Must simulate KADDR macro (ugly).
59         multiboot_detect_memory((multiboot_info_t*CT(1))TC((physaddr_t)mboot_info + KERNBASE));
60
61         multiboot_print_memory_map((multiboot_info_t*CT(1))KADDR((physaddr_t)mboot_info));
62
63         vm_init();
64
65         cache_init();
66         page_init();
67         page_check();
68         kmem_cache_init();
69         kmalloc_init();
70
71         idt_init();
72         active_msg_init();
73         sysenter_init();
74         timer_init();
75         
76         // At this point our boot paths diverge based on arch. 
77         arch_init();
78
79         // zra: let's Ivy know we're done booting
80         booting = 0;
81
82         manager();
83 }
84
85 /*
86  * Panic is called on unresolvable fatal errors.
87  * It prints "panic: mesg", and then enters the kernel monitor.
88  */
89 void _panic(const char *file, int line, const char *fmt,...)
90 {
91         va_list ap;
92
93         va_start(ap, fmt);
94         cprintf("kernel panic at %s:%d, from core %d: ", file, line, core_id());
95         vcprintf(fmt, ap);
96         cprintf("\n");
97         va_end(ap);
98
99 dead:
100         /* break into the kernel monitor, if we're core 0 */
101         if (core_id()) {
102                 smp_idle();
103                 panic("should never see me");
104         }
105         while (1)
106                 monitor(NULL);
107 }
108
109 /* like panic, but don't */
110 void _warn(const char *file, int line, const char *fmt,...)
111 {
112         va_list ap;
113
114         va_start(ap, fmt);
115         cprintf("kernel warning at %s:%d, from core %d: ", file, line, core_id());
116         vcprintf(fmt, ap);
117         cprintf("\n");
118         va_end(ap);
119 }
120
121 #endif //Everything For Free