# CONFIG_FDEVOPEN_COMPAT is not set
# CONFIG_NO_PRINTF is not set
# CONFIG_MINIMAL_PRINTF is not set
CONFIG_STANDARD_PRINTF=y
# CONFIG_FDEVOPEN_COMPAT is not set
# CONFIG_NO_PRINTF is not set
# CONFIG_MINIMAL_PRINTF is not set
CONFIG_STANDARD_PRINTF=y