//kernel/trunk/arch/mips32/src/mips32.c |
---|
42,6 → 42,7 |
#include <arch/interrupt.h> |
#include <arch/drivers/arc.h> |
#include <console/chardev.h> |
#include <arch/debugger.h> |
#include <arch/asm/regname.h> |
91,6 → 92,7 |
cp0_compare_write(cp0_compare_value + cp0_count_read()); |
console_init(); |
debugger_init(); |
arc_print_memory_map(); |
arc_print_devices(); |
} |