| /trunk/kernel/arch/mips32/src/console.c |
|---|
| 38,14 → 38,6 |
|---|
| #include <arch/drivers/msim.h> |
| #include <genarch/fb/fb.h> |
| |
| void console_init(devno_t devno) |
| { |
| if (serial_init()) |
| serial_console(devno); |
| else |
| msim_console(devno); |
| } |
| |
| /** Acquire console back for kernel |
| * |
| */ |
| /trunk/kernel/arch/mips32/src/mips32.c |
|---|
| 56,6 → 56,7 |
|---|
| #include <ddi/device.h> |
| #include <config.h> |
| #include <string.h> |
| #include <arch/drivers/msim.h> |
| |
| #include <arch/asm/regname.h> |
| |
| 132,7 → 133,7 |
|---|
| void arch_post_mm_init(void) |
| { |
| interrupt_init(); |
| console_init(device_assign_devno()); |
| msim_console(device_assign_devno()); |
| #ifdef CONFIG_FB |
| /* GXemul framebuffer */ |
| fb_properties_t gxemul_prop = { |