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