esp_timer: add documentation, expose profiling option in Kconfig

components/esp32/Kconfig

@@ -762,7 +762,6 @@ config NO_BLOBS
 
 config ESP_TIMER_PROFILING
 	bool "Enable esp_timer profiling features"
-	depends on MAKING_ESP_TIMER_A_PUBLIC_API
 	default n
 	help
 		If enabled, esp_timer_dump will dump information such as number of times

components/esp32/include/esp_timer.h

@@ -29,11 +29,11 @@
  * use RTOS notification mechanisms (queues, semaphores, event groups, etc.) to
  * pass information to other tasks.
  *
- * <to be implemented> It should be possible to request the callback to be called
+ * To be implemented: it should be possible to request the callback to be called
  * directly from the ISR. This reduces the latency, but has potential impact on
  * all other callbacks which need to be dispatched. This option should only be
  * used for simple callback functions, which do not take longer than a few
- * microseconds to run. </to be implemented>
+ * microseconds to run.
  *
  * Implementation note: on the ESP32, esp_timer APIs use the "legacy" FRC2
  * timer. Timer callbacks are called from a task running on the PRO CPU.

components/esp32/test/test_esp_timer.c

@@ -10,6 +10,10 @@
 #include "freertos/semphr.h"
 #include "test_utils.h"
 
+#ifdef CONFIG_ESP_TIMER_PROFILING
+#define WITH_PROFILING 1
+#endif
+
 
 TEST_CASE("esp_timer orders timers correctly", "[esp_timer]")
 {