Getting started with NuttX RTOS on ESP32 chips | Hacker News Reader