NanoK is a kernel for microcontrollers that is so small it is a nano-kernel (hence its name "NanoK"). It shall be compiled with the application, in a unikernel fashion.

The documentation of NanoK is available at https://nanok.readthedocs.io. To build the documentation, you will need sphinx to be installed:

pip install --user sphinx sphinx-autobuild sphinx_rtd_theme breathe

Then, use docs/Makefile to produce the documentation in your favorite format. For instance, to generate and open the HTML documentation:

make -C docs html
xdg-open docs/build/html/index.html