Kinda interesting, but I'm not sure if I like the idea of The <i>Linux</i> Foundation investing in alternative operating systems. Surely the industry would have some other venues through which they could do this.
Had to dig a bit to find but seems Apache 2.0 licensed <a href="https://www.zephyrproject.org/content/zephyr-kernel-v100-release-notes" rel="nofollow">https://www.zephyrproject.org/content/zephyr-kernel-v100-rel...</a>
And an OS can be made to do things that you may not want it to do.<p>If I write it in firmware, and write it for that function, you just can't "hack" it, as the functions just don't exist. Well, unless they plan on a verified OS. In that case, good luck ever getting it written. (Or look at TRON - possibly...)