/branches/arm/kernel/arch/arm32/src/drivers/gxemul.c |
---|
44,6 → 44,8 |
#include <mm/page.h> |
#include <arch/machine.h> |
#include <arch/debug/print.h> |
#include <genarch/fb/fb.h> |
#include <genarch/fb/visuals.h> |
/* Addresses of devices. */ |
#define GXEMUL_VIDEORAM 0x10000000 |
109,6 → 111,11 |
*((uint32_t *) gxemul_hw_map.irqc_unmask) = irq; |
} |
/** Initializes the gxemul testarm frame buffer */ |
void gxemul_fb_init(void) |
{ |
fb_init(gxemul_get_fb_address(), 640, 480, 1920, VISUAL_RGB_8_8_8); |
} |
/** Initializes #gxemul_hw_map. */ |
void gxemul_hw_map_init(void) |