QUERY · ISSUE
ESP32 port missing "hard" kwarg in pin.irq()
enhancementport-esp32
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
CANDIDATE · PULL REQUEST
esp8266/machine_pin: Disable ets_loop_iter during hard IRQ handler.
port-esp8266
Otherwise ets_loop_iter may be reentered.
Fixes issue #5714.
@peterhinch I tested this and it seems to work for me, but would be great if you could also test.