I'm trying to program an ESP32 DevKitC-V4 board with the Pthread.h library in Arduino IDE 1.8.19 and I got an error. Trying to narrow down the error, I loaded an example code with the same library and still got the same error:


#include <pthread.h>

void *printThreadId(void *threadid) {
Serial ...