On ESP32, its also quite fine to run FreeRTOS, and you can quite reasonably write cross-platform code which runs on both FreeRTOS and Linux, if that's important.