Might be worth noting that this link itself points to the university project. Most of the main developers moved on and founded a company that's providing microk

Might be worth noting that this link itself points to the university project. Most of the main developers moved on and founded a company that's providing microkernel technology commercially: https://www.kernkonzept.com https://www.kernkonzept.com Disclaimer: not working for them, but used to work on the university project.