mainmenu "MCU C++ Configuration"

config TINYPRINTF
  bool "Enable tinyprintf"

choice PRINTF_TARGET
    prompt "printf() target"

    config PRINTF_TARGET_SEMIHOSTING
        bool "Semihosting"

    config PRINTF_TARGET_UART
        bool "UART"

endchoice

config SEMIHOSTING
  bool "Enable semihosting"

menu "Semihosting settings"
  depends on SEMIHOSTING

config SEMIHOSTING_PUTCHAR
  bool "Enable putchar() implementation with semihosting"
  default y

config SEMIHOSTING_PUTS
  bool "Enable puts() implementation with semihosting"
  default y
endmenu