Not sure to agree; there are quite a few interesting projects in both OS and system programming language fields. To name a few: OS Mirage OS[1] and unikernels

Not sure to agree; there are quite a few interesting projects in both OS and system programming language fields. To name a few: OS Mirage OS[1] and unikernels in general (ErlangOnXen, HalVM) OSv [2] Chromium OS [3] Programming languages Julia [4] Rust [5] D-Lang [6] Nimrod [7] [1] http://www.openmirage.org/ http://www.openmirage.org/ [2] http://osv.io/ http://osv.io/ [3] http://www.chromium.org/chromium-os http://www.chromium.org/chromium-os [4] http://julialang.org/ http://julialang.org/ [5] http://www.rust-lang.org/ http://www.rust-lang.org/ [6] http://dlang.org/ http://dlang.org/ [7] http://nimrod-lang.org/ http://nimrod-lang.org/