Hello, I cannot get the Arduino IDE to find and compile `clock_gettime()`. My error is: `'clock_gettime' was not declared in this scope` Here's the simple sketch: #include "time.h" struct timespec tp; void setup() { Serial.begin(115200); } void loop() { double tNow; long dt_sec, dt_nsec; clock_getti...

Ok, if the newlib .a library is there (I checked - it is) and the headers are there (I checked, time.h and others are there), then something in the `#define`'s are not triggering `clock_gettime()`. I'm getting: `'clock_gettime' was not declared in this scope` I need a `clock_gettime()` example that ...

Ok, this is somewhat good news but I don't have any of the `newlib` files, for example `test_newlib.c` and friends. I've used the Arduino IDE instructions using the Board Manager and the Stable Release link: https://github.com/espressif/arduino-esp32/blob/master/docs/arduino-ide/boards_manager.md Th...

Hello, The ESP32 devices are outstanding. I'm using the Arduino IDE but can also see some interesting code in the newlib github respository here: https://github.com/espressif/esp-idf/tree/master/components/newlib Is this going to be integrated into the Arduino ide library? Is there a (simple) way to...