When setting up PWM on the ESP32 with esp-idf, I can define different timers for different pins to have them running at different frequencies at the same time.
Would it be possible to implement something similar in Micropython, i.e. provide a (pre-initialized) timer as keyword argument to machine.PWM?

Background: In a project I'm building, I have to simultaneously 'fade' several devices with very different characteristics on what min/max PWM frequency they need/support.

Thanks in advance
Torsten