https://embetronicx.com/tutorials/rtos/nuttx/esp32-gpio-example-using-nuttx-rtos-gpio-interrupt/