Добавить в блок CSRC файла Makefile:

$(CHIBIOS)/os/various/chprintf.c

В файле halconf.h активировать HAL_USE_SERIAL:

#define HAL_USE_SERIAL              TRUE

и задать скорость обмена:

#define SERIAL_DEFAULT_BITRATE      115200

В файле board.h надо настроить выводы порта:

 * PA9  - Alternate Push Pull output 50MHz.     (USART1 TX)
 * PA10 - Digital input.                        (USART1 RX)
#define VAL_GPIOACRH            0x.....4B.      /* PA15...PA8 */

В своей программе подключить заголовочный файл и использовать функцию chprintf():

#include <chprintf.h>
halInit();
chSysInit();
sdStart(&SD1, NULL);
chprintf((BaseSequentialStream *) &SD1, "MCU run");