/trunk/kernel/arch/xen32/src/xen32.c |
---|
55,6 → 55,7 |
#include <arch/bios/bios.h> |
#include <arch/boot/boot.h> |
#include <arch/mm/memory_init.h> |
#include <interrupt.h> |
#include <arch/debugger.h> |
62,6 → 63,8 |
#include <syscall/syscall.h> |
#include <console/console.h> |
start_info_t start_info; |
void arch_pre_mm_init(void) |
{ |
// pm_init(); |