ESP32 can run FreeRTOS, and I think people nowadays have no idea how much stuff we could do in MS-DOS PCs even with all their limitations for the epoch.

ESP32 hardware is much better than they used to be.

Not everything needs to be under Linux monoculture, thankfully.