Hacker News Reader

But FreeRTOS has been around for quite some time with wide support among HW manufacturers, so why not include that?

FreeRTOS doesn't come with drivers or a networking stack, it's more a building block than a whole operating system.