Welchen Wert haben portTICK_PERIOD_MS und configTICK_RATE_HZ auf dem ESP32 mit PlatformIO?

Wenn man PlatformIO mit dem Arduino-Framework in der Standardkonfiguration auf dem ESP32 verwendet, ist configTICK_RATE_HZ auf 1000 gesetzt. Mit anderen Worten, FreeRTOS hat eine Standard-Tickfrequenz von 1kHz. Dies ist in sdkconfig.h definiert:

#define CONFIG_FREERTOS_HZ 1000

Daher ist portTICK_PERIOD_MS 1. Meiner Meinung nach ist eine Tickrate von 1kHz eine sinnvolle Konfiguration für die meisten Anwendungsfälle.

Ich habe den Wert gefunden, indem ich den folgenden Code auf einem ESP32 verwendet habe:

Serial.println("Timing: ");
Serial.println(portTICK_PERIOD_MS);
Serial.println(configTICK_RATE_HZ);