| /branches/arm/kernel/arch/arm32/src/arm32.c |
|---|
| 36,6 → 36,8 |
| #include <arch.h> |
| #include <arch/boot.h> |
| #include <config.h> |
| #include <arch/console.h> |
| #include <ddi/device.h> |
| #include "aux_print/printf.h" |
| 59,6 → 61,8 |
| void arch_pre_mm_init(void) |
| { |
| aux_printf("arch_pre_mm_init\n"); |
| console_init(device_assign_devno()); |
| } |
| void arch_post_mm_init(void) |