That's what I'm leaning towards. It actually appears to be a rebranded VxWorks (Rocket kernel) which Intel acquired the rights to open source/rebrand it [1]. It

That's what I'm leaning towards. It actually appears to be a rebranded VxWorks (Rocket kernel) which Intel acquired the rights to open source/rebrand it [1]. It does also have the support of the Linux foundation too! [2] 1: http://blogs.windriver.com/wind_river_blog/2016/02/wind-river-welcomes-linux-foundations-zephyr-project.html http://blogs.windriver.com/wind_river_blog/2016/02/wind-rive... 2: https://news.ycombinator.com/item?id=11128426 https://news.ycombinator.com/item?id=11128426