3 ms·There's a lot going on, actually. I wouldn't dare call seL4, haiku, genode or managarm toys.by snvzz 4y agoThere's a lot going on, actually. I wouldn't dare call seL4, haiku, genode or managarm toys.