Kernel messages infrastructure
[akaros.git] / kern / src / init.c
1 /* See COPYRIGHT for copyright information. */
2
3 #ifdef __SHARC__
4 #pragma nosharc
5 #endif
6
7 #ifdef __CONFIG_BSD_ON_CORE0__
8 #error "Yeah, it's not possible to build ROS with BSD on Core 0, sorry......"
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 #include <hashtable.h>
31 #include <mm.h>
32 #include <frontend.h>
33
34 #include <arch/init.h>
35 #include <arch/bitmask.h>
36 #include <slab.h>
37 #include <kfs.h>
38
39 // zra: flag for Ivy
40 int booting = 1;
41
42 void kernel_init(multiboot_info_t *mboot_info)
43 {
44         extern char (RO BND(__this, end) edata)[], (RO SNT end)[];
45
46         // Before doing anything else, complete the ELF loading process.
47         // Clear the uninitialized global data (BSS) section of our program.
48         // This ensures that all static/global variables start out zero.
49         memset(edata, 0, end - edata);
50
51         // Initialize the console.
52         // Can't call cprintf until after we do this!
53         cons_init();
54
55         print_cpuinfo();
56
57         // Old way, pre Zach's Ivy annotations
58         //multiboot_detect_memory((multiboot_info_t*)((uint32_t)mboot_info + KERNBASE));
59         //multiboot_print_memory_map((multiboot_info_t*)((uint32_t)mboot_info + KERNBASE));
60         
61         // Paul: Can't use KADDR as arg to multiboot_detect_memory
62         //  since multiboot_detect_memory is what sets npages. 
63         //  Must simulate KADDR macro (ugly).
64         multiboot_detect_memory((multiboot_info_t*CT(1))TC((physaddr_t)mboot_info + KERNBASE));
65
66         multiboot_print_memory_map((multiboot_info_t*CT(1))KADDR((physaddr_t)mboot_info));
67
68         vm_init();                      // Sets up pages tables, turns on paging
69         cache_init();                                   // Determine systems's cache properties
70         page_init();                                    // Initializes free page list, etc
71         kmem_cache_init();              // Sets up slab allocator
72         kmalloc_init();
73         hashtable_init();
74         cache_color_alloc_init();       // Inits data structs
75         colored_page_alloc_init();      // Allocates colors for agnostic processes
76         mmap_init();
77         file_init();
78         page_check();
79
80         idt_init();
81         kernel_msg_init();
82         sysenter_init();
83         timer_init();
84         
85         // At this point our boot paths diverge based on arch. 
86         arch_init();
87                 
88 //      printk("Starting tests....\n");
89 //      test_color_alloc();
90 //      printk("Testing complete....\n");
91
92         // zra: let's Ivy know we're done booting
93         booting = 0;
94
95         manager();
96 }
97
98 /*
99  * Panic is called on unresolvable fatal errors.
100  * It prints "panic: mesg", and then enters the kernel monitor.
101  */
102 void _panic(const char *file, int line, const char *fmt,...)
103 {
104         va_list ap;
105
106         va_start(ap, fmt);
107         cprintf("kernel panic at %s:%d, from core %d: ", file, line, core_id());
108         vcprintf(fmt, ap);
109         cprintf("\n");
110         va_end(ap);
111
112 dead:
113         /* break into the kernel monitor, if we're core 0 */
114         if (core_id()) {
115                 smp_idle();
116                 panic("should never see me");
117         }
118         while (1)
119                 monitor(NULL);
120 }
121
122 /* like panic, but don't */
123 void _warn(const char *file, int line, const char *fmt,...)
124 {
125         va_list ap;
126
127         va_start(ap, fmt);
128         cprintf("kernel warning at %s:%d, from core %d: ", file, line, core_id());
129         vcprintf(fmt, ap);
130         cprintf("\n");
131         va_end(ap);
132 }
133
134 #endif //Everything For Free