/kernel/trunk/arch/ia32/src/ia32.c/ia32.c |
---|
50,6 → 50,7 |
#include <arch/mm/memory_init.h> |
#include <interrupt.h> |
#include <arch/debugger.h> |
void arch_pre_mm_init(void) |
{ |
73,6 → 74,8 |
{ |
if (config.cpu_active == 1) { |
ega_init(); /* video */ |
/* Enable debugger */ |
debugger_init(); |
} |
} |