ESPOS
A free operating system for ESP32
Get ESPOS
You need to flash or update via ESPOS DFU mode or esptool