79,7 → 79,7 |
|
|
/** Initializes #gxemul_hw_map. */ |
void machine_hw_map_init(void) |
void gxemul_hw_map_init(void) |
{ |
gxemul_hw_map.videoram = hw_map(GXEMUL_VIDEORAM, PAGE_SIZE); |
gxemul_hw_map.kbd = hw_map(GXEMUL_KBD, PAGE_SIZE); |
143,8 → 143,7 |
ch = '\n'; |
if (ch == 0x7f) |
ch = '\b'; |
//chardev_push_character(&console, ch); |
printf("%c", ch); |
chardev_push_character(&console, ch); |
} |
} |
|
254,8 → 253,7 |
* Release the lock, call clock() and reacquire the lock again. |
*/ |
spinlock_unlock(&irq->lock); |
//clock(); |
puts(" "); |
// clock(); |
spinlock_lock(&irq->lock); |
|
/* acknowledge tick */ |
293,7 → 291,9 |
} |
|
void gxemul_debug_putc(char ch) { |
*((volatile char *) GXEMUL_KBD) = ch; |
// *((volatile char *) GXEMUL_KBD) = ch; |
//TODO commented version doesn't work, don't know why (as ?? |
*((char *) gxemul_hw_map.videoram) = ch; |
} |
|
/** @} |