Vcore mapping and idle core management
[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         idt_init();
62         sysenter_init();
63         timer_init();
64
65         // this returns when all other cores are done and ready to receive IPIs
66         smp_boot();
67         env_init();
68
69         manager();
70 }
71
72 /*
73  * Panic is called on unresolvable fatal errors.
74  * It prints "panic: mesg", and then enters the kernel monitor.
75  */
76 void _panic(const char *file, int line, const char *fmt,...)
77 {
78         va_list ap;
79
80         va_start(ap, fmt);
81         cprintf("kernel panic at %s:%d, from core %d: ", file, line, core_id());
82         vcprintf(fmt, ap);
83         cprintf("\n");
84         va_end(ap);
85
86 dead:
87         /* break into the kernel monitor, if we're core 0 */
88         if (core_id()) {
89                 smp_idle();
90                 panic("should never see me");
91         }
92         while (1)
93                 monitor(NULL);
94 }
95
96 /* like panic, but don't */
97 void _warn(const char *file, int line, const char *fmt,...)
98 {
99         va_list ap;
100
101         va_start(ap, fmt);
102         cprintf("kernel warning at %s:%d, from core %d: ", file, line, core_id());
103         vcprintf(fmt, ap);
104         cprintf("\n");
105         va_end(ap);
106 }
107
108 #endif //Everything For Free