I've been playing a bit around with L4 kernels and some more of Minix 3 from before. Genode seems nice but never had the opportunity to test it yet.

The rest was all new for me, thanks for the information :)