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