https://embetronicx.com/tutorials/rtos/nuttx/blink-led-on-esp32-using-nuttx-rtos/