/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; |
} |
/** @} |
*/ |