[lkurusa]

Let's not forget the Biscuit operating system by MIT just recently published at OSDI'18:

- The paper: https://pdos.csail.mit.edu/papers/biscuit.pdf

- The code: https://github.com/mit-pdos/biscuit

[hardwaresofton]

Awesome thanks that looks like a very interesting read.

Oh yeah another thing that just showed up on the front page actually, someone writing network drivers for their bachelor's thesis in Go:

https://www.net.in.tum.de/fileadmin/bibtex/publications/thes...

[merb]

also gvisor which basically is a user-space kernel.