The ESP8266 has hard keyword argument in pin.irq() function. This is missing in ESP32 port.
See also: https://forum.micropython.org/viewtopic.php?p=30748#p30745
It's also undocumented. Is support intended to be cross-platform, or is the option deprecated? I'm happy to submit a docs PR for machine if the option is to stay.
I was wondering about this too. Diging into the code I found the reason:
With this gpio_install_isr_service(0); all pin interrupts share the same priority no distinction is possible.
Not sure which priority will be used with 0 though. Probably this could be raised to ESP_INTR_FLAG_LEVEL3
Most helpful comment
It's also undocumented. Is support intended to be cross-platform, or is the option deprecated? I'm happy to submit a docs PR for machine if the option is to stay.