| /branches/arm/kernel/arch/arm32/include/machine.h |
|---|
| 91,7 → 91,12 |
| */ |
| extern void machine_debug_putc(char ch); |
| /** Initializes the Frame Buffer |
| * |
| */ |
| extern void machine_fb_init(void); |
| /** Interrupt exception handler. |
| * |
| * @param exc_no Interrupt exception number. |
| 119,6 → 124,7 |
| #define machine_irq_exception(exc_no, istate) \ |
| gxemul_irq_exception(exc_no, istate) |
| #define machine_get_fb_address gxemul_get_fb_address |
| #define machine_fb_init gxemul_fb_init |
| #endif |
| #ifdef MACHINE_QEMU_ICP |
| 133,6 → 139,7 |
| #define machine_irq_exception(exc_no, istate) \ |
| qemu_icp_irq_exception(exc_no, istate) |
| #define machine_get_fb_address qemu_icp_get_fb_address |
| #define machine_fb_init qemu_icp_fb_init |
| #endif |
| #endif |
| /branches/arm/kernel/arch/arm32/include/drivers/gxemul.h |
|---|
| 72,6 → 72,7 |
| extern void gxemul_irq_exception(int exc_no, istate_t *istate); |
| extern size_t gxemul_get_memory_size(void); |
| extern uintptr_t gxemul_get_fb_address(void); |
| extern void gxemul_fb_init(void); |
| #endif |
| /branches/arm/kernel/arch/arm32/include/drivers/qemu.h |
|---|
| 74,8 → 74,7 |
| extern void qemu_icp_irq_exception(int exc_no, istate_t *istate); |
| extern size_t qemu_icp_get_memory_size(void); |
| extern uintptr_t qemu_icp_get_fb_address(void); |
| extern void icp_vga_init(); |
| extern void qemu_icp_fb_init(void); |
| #endif |
| /** @} |
| /branches/arm/kernel/arch/arm32/src/arm32.c |
|---|
| 86,7 → 86,7 |
| console_init(device_assign_devno()); |
| #ifdef CONFIG_FB |
| fb_init(machine_get_fb_address(), 640, 480, 2560, VISUAL_BGR_8_8_8_0); |
| machine_fb_init(); |
| #endif |
| } |
| /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) |
| /branches/arm/kernel/arch/arm32/src/drivers/qemu.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 QEMU_ICP_VIDEORAM 0x16000000 |
| 129,6 → 131,11 |
| *((uint32_t *) qemu_icp_hw_map.irqc_unmask) = irq; |
| } |
| /** Initializes the icp frame buffer */ |
| void qemu_icp_fb_init(void) |
| { |
| fb_init(qemu_icp_get_fb_address(), 640, 480, 2560, VISUAL_BGR_8_8_8_0); |
| } |
| /** Initializes #qemu_icp_hw_map. */ |
| void qemu_icp_hw_map_init(void) |