Indeed rather confusing.
It turns out that the latest version of the FreeRTOS manual I was using (available at http://www.freertos.org/Documentation/161204_Mastering_the_FreeRTOS_Real_Time_Kernel-A_Hands-On_Tutorial_Guide.pdf ) only covers up to version 8 of the RTOS, whereas the IDF is based on ...

The issue is that the ESP32 API differs from the FreeRTOS API. The FreeRTOS API has the following function:
BaseType_t xTimerResetFromISR( TimerHandle_t xTimer, TickType_t xTicksToWait );

While the IDF has this one:
BaseType_t xTimerResetFromISR( TimerHandle_t xTimer, BaseType_t ...

I am trying to reset a timer from within an ISR. The HW_IsrHandler is called when a button is pressed on pin 14, but resetting the timer generates a StoreProhibited exception at xTimerResetFromISR.

#include <stdio.h>
#include <sys/time.h>
#include "freertos/FreeRTOS.h"
#include "freertos/task.h ...

I have been trying to use the espcoredump utility and in my setup under arch linux (with IDF_PATH properly defined), the path to the esptool utility is broken.
When I run the tool to get the core dump file from flash, I get an error to the effect that "esptool.p" (notice the absence of the trailing ...

the dmesg output was indeed the same as before the USB cable was plugged in.
I say "WAS" because today, after spending the night unplugged, the device is working normally again. Looks like the hardware gnomes were hard at work last night ;)
thanks for the help troubleshooting this.
FYI: ESP32_Core ...

thanks for the reply, but dmesg does not report anything.
No events from udev or from the kernel. It's as though the UART is stuck in a state and can't/won't communicate with the host pc

I have been uploading different samples to one of the ESP-WROOM-32 devkits we purchased a few weeks ago and up until today everything worked fine. Today, however, the devkit appears unresponsive: connecting it to the PC does not create /dev/ttyUSB0 as it always did. The red LED does light up and the ...