Corrected runtime errors with multiboot_detect_memory() and page_init()
[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
29 void kernel_init(multiboot_info_t *mboot_info)
30 {
31         extern char (BND(__this, end) edata)[], (SNT end)[];
32
33         // Before doing anything else, complete the ELF loading process.
34         // Clear the uninitialized global data (BSS) section of our program.
35         // This ensures that all static/global variables start out zero.
36         memset(edata, 0, end - edata);
37
38         // Initialize the console.
39         // Can't call cprintf until after we do this!
40         cons_init();
41
42         print_cpuinfo();
43
44         // Old way, pre Zach's Ivy annotations
45         //multiboot_detect_memory((multiboot_info_t*)((uint32_t)mboot_info + KERNBASE));
46         //multiboot_print_memory_map((multiboot_info_t*)((uint32_t)mboot_info + KERNBASE));
47         
48         // Paul: Can't use KADDR as arg to multiboot_detect_memory
49         //  since multiboot_detect_memory is what sets npages. 
50         //  Must simulate KADDR macro (ugly).
51         multiboot_detect_memory((multiboot_info_t*SAFE)(void*TRUSTED)((physaddr_t)mboot_info + KERNBASE));
52         
53         multiboot_print_memory_map((multiboot_info_t*COUNT(1))KADDR((physaddr_t)mboot_info));
54
55         vm_init();
56
57         cache_init();
58         page_init();
59         page_check();
60
61         env_init();
62
63         idt_init();
64         sysenter_init();
65         timer_init();
66
67         // this returns when all other cores are done and ready to receive IPIs
68         smp_boot();
69
70         manager();
71 }
72
73 /*
74  * Panic is called on unresolvable fatal errors.
75  * It prints "panic: mesg", and then enters the kernel monitor.
76  */
77 void _panic(const char *file, int line, const char *fmt,...)
78 {
79         va_list ap;
80
81         va_start(ap, fmt);
82         cprintf("kernel panic at %s:%d, from core %d: ", file, line, core_id());
83         vcprintf(fmt, ap);
84         cprintf("\n");
85         va_end(ap);
86
87 dead:
88         /* break into the kernel monitor, if we're core 0 */
89         if (core_id()) {
90                 smp_idle();
91                 panic("should never see me");
92         }
93         while (1)
94                 monitor(NULL);
95 }
96
97 /* like panic, but don't */
98 void _warn(const char *file, int line, const char *fmt,...)
99 {
100         va_list ap;
101
102         va_start(ap, fmt);
103         cprintf("kernel warning at %s:%d, from core %d: ", file, line, core_id());
104         vcprintf(fmt, ap);
105         cprintf("\n");
106         va_end(ap);
107 }
108
109 #endif //Everything For Free