/kernel/trunk/arch/ppc32/src/ppc32.c |
---|
27,11 → 27,14 |
*/ |
#include <arch.h> |
#include <arch/boot/boot.h> |
#include <arch/console.h> |
#include <arch/drivers/cuda.h> |
#include <arch/mm/memory_init.h> |
#include <arch/interrupt.h> |
bootinfo_t bootinfo; |
void arch_pre_mm_init(void) |
{ |
/* Initialize dispatch table */ |