I would argue that any embedded OS (e.g. FreeRTOS) would probably be more appropriate. You don't need a fully featured OS, with the massive attack surface that

I would argue that any embedded OS (e.g. FreeRTOS) would probably be more appropriate. You don't need a fully featured OS, with the massive attack surface that it provides.