| /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) |