/kernel/trunk/arch/ppc32/src/boot/boot.S |
---|
67,6 → 67,7 |
bootinfo_end: |
bl arch_pre_main |
b main_bsp |
.section K_DATA_START, "aw", @progbits |
/kernel/trunk/arch/ppc32/src/ppc32.c |
---|
37,6 → 37,14 |
bootinfo_t bootinfo; |
void arch_pre_main(void) |
{ |
/* Setup usermode */ |
init.cnt = 1; |
init.tasks[0].addr = PA2KA(bootinfo.init.addr); |
init.tasks[0].size = bootinfo.init.size; |
} |
void arch_pre_mm_init(void) |
{ |
/* Initialize dispatch table */ |
47,11 → 55,6 |
ppc32_console_init(); |
cuda_init(); |
/* Setup usermode */ |
init.cnt = 1; |
init.tasks[0].addr = PA2KA(bootinfo.init.addr); |
init.tasks[0].size = bootinfo.init.size; |
} |
void arch_post_mm_init(void) |