Where would you look though? Who else writes operating systems? MS Research writes papers that are submitted to various journals (as does IBM, Intel, Google,

Where would you look though? Who else writes operating systems? MS Research writes papers that are submitted to various journals (as does IBM, Intel, Google, all of whom have their own operating systems). An obvious example is the Midori project produced lots of novel research much of which has been used, even if the project itself was abandoned. https://en.wikipedia.org/wiki/Midori_(operating_system) https://en.wikipedia.org/wiki/Midori_(operating_system)