| /branches/arm/kernel/arch/arm32/src/arm32.c |
|---|
| 73,13 → 73,15 |
| /* It is not assumed by default */ |
| interrupts_disable(); |
| /* Initialize dispatch table */ |
| exception_init(); |
| } |
| void arch_post_mm_init(void) |
| { |
| dprintf("arch_post_mm_init start()\n"); |
| /* Initialize dispatch table |
| Note: Have to be after page_init() */ |
| exception_init(); |
| drivers_init(); |
| interrupt_init(); |