Moved Ivy lock tracking into per cpu info
[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 #ifdef __i386__
31 #include <arch/rl8168.h>
32 #include <arch/ne2k.h>
33 #include <arch/mptables.h>
34 #include <arch/pci.h>
35 #include <arch/ioapic.h>
36 #endif
37
38 // zra: flag for Ivy
39 int booting = 1;
40
41 void kernel_init(multiboot_info_t *mboot_info)
42 {
43         extern char (RO BND(__this, end) edata)[], (RO SNT end)[];
44
45         // Before doing anything else, complete the ELF loading process.
46         // Clear the uninitialized global data (BSS) section of our program.
47         // This ensures that all static/global variables start out zero.
48         memset(edata, 0, end - edata);
49
50         // Initialize the console.
51         // Can't call cprintf until after we do this!
52         cons_init();
53
54         print_cpuinfo();
55
56         // Old way, pre Zach's Ivy annotations
57         //multiboot_detect_memory((multiboot_info_t*)((uint32_t)mboot_info + KERNBASE));
58         //multiboot_print_memory_map((multiboot_info_t*)((uint32_t)mboot_info + KERNBASE));
59         
60         // Paul: Can't use KADDR as arg to multiboot_detect_memory
61         //  since multiboot_detect_memory is what sets npages. 
62         //  Must simulate KADDR macro (ugly).
63         multiboot_detect_memory((multiboot_info_t*CT(1))TC((physaddr_t)mboot_info + KERNBASE));
64
65         multiboot_print_memory_map((multiboot_info_t*CT(1))KADDR((physaddr_t)mboot_info));
66
67         vm_init();
68
69         cache_init();
70         page_init();
71         page_check();
72         //test_page_coloring();
73
74         idt_init();
75         sysenter_init();
76         timer_init();
77         
78         // @todo: Add an arch specific init? This is ugly
79         #ifdef __i386__
80         mptables_parse();
81         pci_init();
82         ioapic_init(); // MUST BE AFTER PCI/ISA INIT!
83         #endif // __i386__
84                 
85         // this returns when all other cores are done and ready to receive IPIs
86         smp_boot();
87         env_init();
88         
89
90         /* EXPERIMENTAL NETWORK FUNCTIONALITY
91          * To enable, define __NETWORK__ in your Makelocal
92          * If enabled, will load the rl8168 driver (if device exists)
93          * and will a boot into userland matrix, so remote syscalls can be performed.
94          * If in simulation, will do some debugging information with the ne2k device
95          *
96          * Note: If you use this, you should also define the mac address of the 
97          * teathered machine via USER_MAC_ADDRESS in Makelocal.
98          *
99          * Additionally, you should have a look at the syscall server in the tools directory
100          */
101         #ifdef __NETWORK__
102         rl8168_init();          
103         ne2k_init();
104         #endif // __NETWORK__
105
106         // zra: let's Ivy know we're done booting
107         booting = 0;
108
109         manager();
110 }
111
112 /*
113  * Panic is called on unresolvable fatal errors.
114  * It prints "panic: mesg", and then enters the kernel monitor.
115  */
116 void _panic(const char *file, int line, const char *fmt,...)
117 {
118         va_list ap;
119
120         va_start(ap, fmt);
121         cprintf("kernel panic at %s:%d, from core %d: ", file, line, core_id());
122         vcprintf(fmt, ap);
123         cprintf("\n");
124         va_end(ap);
125
126 dead:
127         /* break into the kernel monitor, if we're core 0 */
128         if (core_id()) {
129                 smp_idle();
130                 panic("should never see me");
131         }
132         while (1)
133                 monitor(NULL);
134 }
135
136 /* like panic, but don't */
137 void _warn(const char *file, int line, const char *fmt,...)
138 {
139         va_list ap;
140
141         va_start(ap, fmt);
142         cprintf("kernel warning at %s:%d, from core %d: ", file, line, core_id());
143         vcprintf(fmt, ap);
144         cprintf("\n");
145         va_end(ap);
146 }
147
148 #endif //Everything For Free