Fixed DISABLE_SMT to report the right max_vcores
[akaros.git] / kern / arch / i686 / init.c
1 /* See COPYRIGHT for copyright information. */
2
3 #ifdef __SHARC__
4 #pragma nosharc
5 #endif
6
7 #include <smp.h>
8
9 #include <arch/rl8168.h>
10 #include <arch/ne2k.h>
11 #include <arch/e1000.h>
12 #include <arch/mptables.h>
13 #include <arch/pci.h>
14 #include <arch/ioapic.h>
15 #include <arch/console.h>
16 #include <monitor.h>
17
18 void arch_init()
19 {
20         pci_init();
21 #ifndef __CONFIG_DISABLE_MPTABLES__
22         mptables_parse();
23         ioapic_init(); // MUST BE AFTER PCI/ISA INIT!
24         // TODO: move these back to regular init.  requires fixing the 
25         // __CONFIG_NETWORKING__ inits to not need multiple cores running.
26 #endif
27         // this returns when all other cores are done and ready to receive IPIs
28         #ifdef __CONFIG_SINGLE_CORE__
29                 smp_percpu_init();
30         #else
31                 smp_boot();
32         #endif
33         proc_init();
34
35         /* EXPERIMENTAL NETWORK FUNCTIONALITY
36          * To enable, define __CONFIG_NETWORKING__ in your Makelocal
37          * If enabled, will load the rl8168 driver (if device exists)
38          * and will a boot into userland matrix, so remote syscalls can be performed.
39          * If in simulation, will do some debugging information with the ne2k device
40          *
41          * Note: If you use this, you should also define the mac address of the 
42          * teathered machine via USER_MAC_ADDRESS in Makelocal.
43          *
44          * Additionally, you should have a look at the syscall server in the tools directory
45          */
46         #ifdef __CONFIG_NETWORKING__
47         #ifdef __CONFIG_SINGLE_CORE__
48                 warn("You currently can't have networking if you boot into single core mode!!\n");
49         #else
50                 rl8168_init();          
51                 ne2k_init();
52                 e1000_init();
53         #endif // __CONFIG_SINGLE_CORE__
54         #endif // __CONFIG_NETWORKING__
55
56 #ifdef __CONFIG_MONITOR_ON_INT__
57         /* Handler to read a char from the interrupt source and call the monitor.
58          * Need to read the character so the device will send another interrupt.
59          * Note this will read from both the serial and the keyboard, and throw away
60          * the result.  We condition, since we don't want to trigger on a keyboard
61          * up interrupt */
62         void mon_int(struct trapframe *tf, void *data)
63         {
64                 // Enable interrupts here so that we can receive 
65                 // other interrupts (e.g. from the NIC)
66                 enable_irq();
67                 if (cons_getc())
68                         monitor(0);
69         }
70         register_interrupt_handler(interrupt_handlers, 1 + PIC1_OFFSET, mon_int, 0);
71         register_interrupt_handler(interrupt_handlers, 3 + PIC1_OFFSET, mon_int, 0);
72         register_interrupt_handler(interrupt_handlers, 4 + PIC1_OFFSET, mon_int, 0);
73 # ifdef __CONFIG_DISABLE_MPTABLES__
74         pic_unmask_irq(1);      /* keyboard */
75         pic_unmask_irq(3);      /* serial 2 or 4 */
76         pic_unmask_irq(4);      /* serial 1 or 3 */
77         unmask_lapic_lvt(LAPIC_LVT_LINT0);
78 # else 
79         ioapic_route_irq(1, 0);
80         ioapic_route_irq(3, 0);
81         ioapic_route_irq(4, 0);
82 # endif /* __CONFIG_DISABLE_MPTABLES__ */
83         enable_irq(); /* we want these interrupts to work in the kernel. */
84 #endif /* __CONFIG_MONITOR_ON_INT__ */
85 }