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 w

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 :)