gustavonihei commented on a change in pull request #3040:
URL: https://github.com/apache/incubator-nuttx/pull/3040#discussion_r594700037
##########
File path: arch/risc-v/src/esp32c3/Kconfig
##########
@@ -283,4 +297,84 @@ endif # ESP32C3_UART1
endmenu
+menu "Real-Time Timer"
+ depends on ESP32C3_RT_TIMER
+
+config ESP32C3_RT_TIMER_TASK_NAME
+ string "Timer task name"
+ default "rt_timer"
+
+config ESP32C3_RT_TIMER_TASK_PRIORITY
+ int "Timer task priority"
+ default 223 # Lower than high priority workqueue
+
+config ESP32C3_RT_TIMER_TASK_STACK_SIZE
+ int "Timer task stack size"
+ default 2048
+
+endmenu # Real-Time Timer
+
+menu "WiFi configuration"
Review comment:
```suggestion
menu "Wi-Fi configuration"
```
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
us...@infra.apache.org
