/kernel/trunk/arch/ia32/src/ia32.c |
---|
34,6 → 34,7 |
#include <arch/pm.h> |
#include <arch/ega.h> |
#include <arch/vesa.h> |
#include <genarch/i8042/i8042.h> |
#include <arch/i8254.h> |
#include <arch/i8259.h> |
75,7 → 76,14 |
void arch_post_mm_init(void) |
{ |
if (config.cpu_active == 1) { |
#ifdef CONFIG_FB |
if (vesa_present()) vesa_init(); |
else |
#endif |
ega_init(); /* video */ |
/* Enable debugger */ |
debugger_init(); |
} |