3 ms·
Other interesting microkernel-based OSs include Genode[0], HelenOS[1], Helios[2], Makatea[3], Managarm[4]. 0. https://genode.org/ https://genode.org/ 1. http:
by snvzz 3y ago
Other interesting microkernel-based OSs include Genode[0], HelenOS[1], Helios[2], Makatea[3], Managarm[4].
0. https://genode.org/ https://genode.org/
1. http://www.helenos.org/ http://www.helenos.org/
2. https://sr.ht/~sircmpwn/helios/ https://sr.ht/~sircmpwn/helios/
3. https://trustworthy.systems/projects/TS/makatea https://trustworthy.systems/projects/TS/makatea
4. https://github.com/managarm https://github.com/managarm