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