The x15 microkernel

Agustina Arzille 51cf3e5e7d Improve flag managing in pmaps 10 months ago
arch c057116da8 Streamline IPC PTE usage 10 months ago
doc bb91d0a376 kern/perfmon: new module 6 years ago
include 317cdfe56a Improve interrupt test 11 months ago
kern 3972355d76 Improve checking of userspace iovecs 10 months ago
test 51cf3e5e7d Improve flag managing in pmaps 10 months ago
tools 64cfc1638f Implement the 'vm_protect' call 1 year ago
vm 51cf3e5e7d Improve flag managing in pmaps 10 months ago
.gdbinit 7bded8776d Add a .gdbinit configuration file 7 years ago
.gitignore a2febe2189 Implement a DWARF unwinder 2 years ago
COPYING 69504fc637 Initial commit 12 years ago
Kconfig 5bf4197855 Reimplement the test framework 2 years ago
Makefile 80705575da Re-instate the DWARF unwinder for fixups 1 year ago
README 8341578072 README: minor changes 7 years ago

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.