Welcome to ExoCoreΒΆ

ExoCore is an operating system kernel written in the C programming language (C11 with GNU extensions, specifically meant to be built with Clang). It is a so-called exokernel; it only provides the bare minimum of abstraction needed around the hardware. This allows for most aspects of real operating systems to be implemented in user space.

Next topic

1. Introduction

This Page