/branches/arm/kernel/arch/arm32/src/arm32.c |
---|
43,6 → 43,7 |
void arch_pre_main(void) |
{ |
aux_printf("arch_pre_main\n"); |
int i; |
init.cnt = bootinfo.cnt; |
57,7 → 58,7 |
void arch_pre_mm_init(void) |
{ |
/* TODO */ |
aux_printf("arch_pre_mm_init\n"); |
} |
void arch_post_mm_init(void) |