Hello guys
The issue is a divide by zero, caused by the ledcSetup(TON_PIN_CHANNEL, 0, 13); function call found by @a4x4kiwi (thanks for that).
I found that the outcome is different depending on the Arduino version used:
Arduino 1.0.6 - no error, no crash
Arduino 2.0.1 - no error, no crash
Arduino 2.0.2 - crash
Arduino 2.0.3 - error, no crash
E (4532) ledc: freq_hz=0 duty_resolution=13
[ 4537][E][esp32-hal-ledc.c:75] ledcSetup(): ledc setup failed!
Thanks
Felix