# sdkconfig replacement configurations for deprecated options formatted as
# CONFIG_DEPRECATED_OPTION CONFIG_NEW_OPTION

CONFIG_ESP32C3_TIME_SYSCALL_USE_RTC_SYSTIMER    CONFIG_NEWLIB_TIME_SYSCALL_USE_RTC_HRT
CONFIG_ESP32C3_TIME_SYSCALL_USE_RTC             CONFIG_NEWLIB_TIME_SYSCALL_USE_RTC
CONFIG_ESP32C3_TIME_SYSCALL_USE_SYSTIMER        CONFIG_NEWLIB_TIME_SYSCALL_USE_HRT
CONFIG_ESP32C3_TIME_SYSCALL_USE_NONE            CONFIG_NEWLIB_TIME_SYSCALL_USE_NONE