Genode OS is a tool kit for building highly secure special-purpose OS(genode.org)111 points by doener 8 months ago | 18 comments
Genode – Genode on seL4 – IPC and virtual memory(genode.org)52 points by whereistimbo 3 years ago | 4 comments
OpenRC is a dependency-based init system for Unix-like systems(wiki.gentoo.org)136 points by mariuz 3 years ago | 102 comments
ExectOS – brand new operating system which derives from NT architecture(exectos.eu.org)216 points by belliash 2 years ago | 183 comments
Yorick is an interpreted programming language for scientific simulations(yorick.sourceforge.net)52 points by Tomte 3 years ago | 18 comments
MenuetOS: An entire operating system in x86_64 assembly(menuetos.net)105 points by gorenb 3 years ago | 32 comments
