The MyNOS project aims at developing a new and different operating system, based on high-level languages. MyNOS will be based on the OCaml bytecode interpreter. We'd like to explore microkernel architecture and new language definition too.
shadowk kernel aim to be a clean portable object micro-kernel. Clean and extensible would be most too important directions for this development.