target_compile_definitions(${TARGET} PRIVATE
  PICO_DEFAULT_UART=1
  PICO_DEFAULT_UART_TX_PIN=8
  PICO_DEFAULT_UART_RX_PIN=9
)
pico_enable_stdio_uart(${TARGET} TRUE)