An exokernel written in C11 (with GNU extensions) for Clang.
C C++ Assembly Python Shell Objective-C
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
docs
include/exocore
iso/boot/grub
linker
src/exocore
.bochsrc
.gdbinit
.gitignore
AUTHORS
COMPATIBILITY
INSTALL
LICENSE
README
THANKS
bootstrap.py
wscript

README

            == ExoCore Operating System Kernel ==

                -- Introduction --

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.

ExoCore is primarily a reference project. It is not intended to be a kernel
for real world usage; rather, to be a learning project for the developers and
anyone else interested in kernel development.

For further information, see:

    * LICENSE
      - Licensing and copyright information.
    * COMPATIBILITY
      - Supported compilers, architectures, etc.
    * INSTALL
      - Instructions on building and installing ExoCore.
    * AUTHORS
      - Names and contact information for ExoCore developers.
    * THANKS
      - Credits and appreciation where due.

See also the documentation in the 'docs' directory.

You can reach the ExoCore community in several ways:

    * IRC channels
      - #lycus @ irc.oftc.net
    * Mailing lists
      - lycus-announce: http://groups.google.com/group/lycus-announce
      - lycus-discuss: http://groups.google.com/group/lycus-discuss
      - lycus-develop: http://groups.google.com/group/lycus-develop