[elcritch]

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-rive... 2: https://news.ycombinator.com/item?id=11128426