| /branches/arm/kernel/arch/arm32/src/drivers/gxemul.c |
|---|
| 89,6 → 89,7 |
| gxemul_hw_map.rtc_ack = gxemul_hw_map.rtc + GXEMUL_RTC_ACK_OFFSET; |
| gxemul_hw_map.irqc_mask = gxemul_hw_map.irqc + GXEMUL_IRQC_MASK_OFFSET; |
| gxemul_hw_map.irqc_unmask = gxemul_hw_map.irqc + GXEMUL_IRQC_UNMASK_OFFSET; |
| } |
| /** Putchar that works with gxemul */ |
| 284,5 → 285,9 |
| return *((int*)(GXEMUL_MP + GXEMUL_MP_MEMSIZE_OFFSET)); |
| } |
| void gxemul_debug_putc(char ch) { |
| *((volatile char *) GXEMUL_KBD) = ch; |
| } |
| /** @} |
| */ |