Real-time multiprocessor microkernel
Switch branches/tags
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
arch/x86
doc
include
kern
test
tools
vm
.gdbinit
.gitignore
COPYING
Kconfig
Makefile
README

README

X15 is an open source real-time microkernel intended to provide a performant
and scalable environment for cache-coherent multiprocessor machines.

The doc/intro.9.txt file is the starting page of the kernel manual, where
more information about building the kernel, the programming interfaces, or
the coding style, can be found.

See https://www.sceen.net/x15/.

Bug reports should be sent to rbraun@sceen.net.