# # Automatically generated file; DO NOT EDIT. # MCU C++ Configuration # # CONFIG_PRINTF_TARGET_SEMIHOSTING is not set CONFIG_PRINTF_TARGET_UART=y CONFIG_TINYPRINTF=y # # tinyprintf settings # CONFIG_TINYPRINTF_PRINTF=y CONFIG_TINYPRINTF_SNPRINTF=y CONFIG_SEMIHOSTING=y # # Semihosting settings # CONFIG_SEMIHOSTING_PUTCHAR=y CONFIG_SEMIHOSTING_PUTS=y