VSTa is a non-proprietary source base permitting experimentation in many of the areas first broached by Plan 9 and *QNX.
L4, also by Jochen Liedtke, is a successor to L3.
EROS, a noncommercial rewrite of KeyKOS for the x86 architecture, is currently being developed by *Jonathan Shapiro.