L4Ka: Pistachio Microkernel

(l4ka.org)

2 points | by doener 1 hour ago

1 comments

doener 30 minutes ago
The project seems orphaned. I never heard about it before. It's still referenced here as an option to run Genode OS: https://genode.org/about/index