Function

Description

Comments

int console_init(void)

Initialise the serial console interface

Serial console available on USART1, at 115200 rate

void console_putc(char c)

Print a character to the serial console

Can be called from multiple parallel threads

void console_puts(char * str)

Print a string to the serial console

Can be called from multiple parallel threads

char console_getc(void)

Get a character from the serial console

Implementation is interrupt-driven. Use shall be limited to a single thread