Hello! I'm trying to build a battery-powered button panel that has four buttons on it, and comes out of sleep and does a bunch of network IO when one button is pressed.

At the moment I'm using esp32.wake_on_ext1 to get the machine to wake when one of the buttons is pressed, and then I'm just reading from the pins the buttons are wired to. Unfortunately a brief press on the button seems to take less time than MicroPython does to wake, so the pin is no longer high at that point.

The ESP-IDF has a function esp_sleep_get_ext1_wakeup_status which returns a bit mask of all the pins that triggered an EXT1 wake, which it looks like should do the trick—can this be added to the MicroPython esp32 module?