documentation/kernel

kernel

The documentation of the noxos kernel.

• The source code is documented in the src directory.
• Build instructions can be found in build-instructions.md.
• A roadmap of what has to be done can be found in roadmap.md.
• The kernels' sysabi (syscalls, etc.) can be found in sysabi.md.