//kernel/trunk/arch/mips32/src/console.c |
---|
31,7 → 31,6 |
#include <arch/drivers/arc.h> |
#include <arch/drivers/serial.h> |
#include <arch/drivers/msim.h> |
#include <genarch/fb/fb.h> |
void console_init(void) |
{ |
41,8 → 40,5 |
serial_console(); |
} else { |
msim_console(); |
#ifdef CONFIG_FB |
fb_init(0xb2000000, 640, 480, 24, 1920); // gxemul framebuffer |
#endif |
} |
} |
//kernel/trunk/arch/mips32/src/mips32.c |
---|
45,6 → 45,7 |
#include <arch/drivers/arc.h> |
#include <console/chardev.h> |
#include <arch/debugger.h> |
#include <genarch/fb/fb.h> |
#include <arch/asm/regname.h> |
111,6 → 112,9 |
void arch_post_mm_init(void) |
{ |
#ifdef CONFIG_FB |
fb_init(0x12000000, 640, 480, 24, 1920); // gxemul framebuffer |
#endif |
} |
void arch_pre_smp_init(void) |
//kernel/trunk/arch/mips32/src/mm/page.c |
---|
34,3 → 34,12 |
{ |
page_mapping_operations = &pt_mapping_operations; |
} |
/** Map device into kernel space |
* - on mips, all devices are already mapped into kernel space, |
* translate the physical address to uncached area |
*/ |
__address hw_map(__address physaddr, size_t size) |
{ |
return physaddr + 0xa0000000; |
} |