#
# Automatically generated file; DO NOT EDIT.
# MCU C++ Configuration
#
CONFIG_TINYPRINTF=y
CONFIG_PRINTF_TARGET_SEMIHOSTING=y
# CONFIG_PRINTF_TARGET_UART is not set
CONFIG_SEMIHOSTING=y

#
# Semihosting settings
#
CONFIG_SEMIHOSTING_PUTCHAR=y
CONFIG_SEMIHOSTING_PUTS=y