1.1 --- a/debug.h Thu Oct 18 18:36:19 2018 +0200
1.2 +++ b/debug.h Thu Oct 18 21:04:00 2018 +0200
1.3 @@ -5,5 +5,6 @@
1.4 void vbits(uint32_t val);
1.5 void vhex(uint32_t val);
1.6 void uart_write(char c);
1.7 +void uart_write_string(const char *s);
1.8
1.9 #endif /* __DEBUG_H__ */