ESP32 TaskHandle

Hi There!
If I try to build a little Sketch for the ESP32 with the Arduino-Framework which uses multithreading, ii receive an error on not found type “TaskHandle_t”. Do I have to include a special RTOS library?

src/main.cpp:9:1: error: 'TaskHandle_t' does not name a type

My platformio.ini:

[env:esp32dev]
platform = espressif32
board = esp32dev
framework = arduino

Solution to the Problem:

#include "freertos/FreeRTOS.h"
#include "freertos/task.h"
#include "Arduino.h"

TaskHandle_t whateverTask;

Judging from arduino-esp32/main.cpp at master · espressif/arduino-esp32 · GitHub have you tried

#include "freertos/FreeRTOS.h"
#include "freertos/task.h"

TaskHandle_t whateverTask;