/branches/arm/kernel/arch/arm32/src/arm32.c |
---|
46,7 → 46,7 |
#include <print.h> |
#include <config.h> |
#include <interrupt.h> |
#include <arch/drivers/init.h> |
#include <arch/machine.h> |
bootinfo_t bootinfo; |
82,7 → 82,7 |
Note: Have to be after page_init() */ |
exception_init(); |
drivers_init(); |
machine_hw_map_init(); |
interrupt_init(); |
console_init(device_assign_devno()); |
89,7 → 89,7 |
//fb_init(0x12000000, 640, 480, 1920, VISUAL_RGB_8_8_8); |
interrupts_enable(); |
while(1); |
// while(1); |
dprintf("arch_post_mm_init end()\n"); |
} |