HelenOS as a Genode platform

Tobias Börtitz

Abstract

As HelenOS and Genode both are microkernel based operating systems where HelenOS has the advantage of running on multiple processor architectures and Genode having the advantage of having a more distinct userland, it would be beneficial for both projects to combine the strengths of both. This project aims to develop the design of a combined userland and port the Genode framework so it can be used with the SPARTAN kernel of HelenOS.