> FreeRTOS doesn't have filesystems or networking That's... not quite accurate. FreeRTOS+fatfs and FreeRTOS+TCP exist. They're seperate from the core RTOS because they used to be part of the commercial offering, but are now licensed MIT just like the core RTOS. ESP-IDF was created before that happened though, so they kinda had to do their own thing