diff --git a/bootrom/sdboot/kprintf.h b/bootrom/sdboot/kprintf.h index 26cc805..1b36bed 100644 --- a/bootrom/sdboot/kprintf.h +++ b/bootrom/sdboot/kprintf.h @@ -33,6 +33,9 @@ static inline void kputc(char c) while ((int32_t)(*tx) < 0); *tx = c; #endif + volatile uint32_t *term = (void *) 0x64003000; // Terminal (32 bit) + while ((int32_t)(*term) < 0); + *term = c; } extern void kputs(const char *);