35,6 → 35,7 |
#include <userspace.h> |
#include <proc/uarg.h> |
#include <console/console.h> |
#include <arch/drivers/pic.h> |
|
bootinfo_t bootinfo; |
|
55,10 → 56,9 |
{ |
/* Initialize dispatch table */ |
interrupt_init(); |
|
|
/* Start decrementer */ |
start_decrementer(); |
cuda_init(); |
} |
|
void arch_post_mm_init(void) |
66,6 → 66,10 |
if (config.cpu_active == 1) { |
fb_init(bootinfo.screen.addr, bootinfo.screen.width, bootinfo.screen.height, bootinfo.screen.bpp, bootinfo.screen.scanline); |
|
/* Initialize PIC */ |
pic_init(); |
|
cuda_init(); |
/* Merge all zones to 1 big zone */ |
zone_merge_all(); |
} |