..
   SPDX-License-Identifier: GPL-3.0-only
   This file is part of Lazuli.

.. sectionauthor::
   Copyright (c) 2020, Remi Andruccioli <remi.andruccioli@gmail.com>

Kernel documentation
====================

You are reading the Lazuli kernel documentation.

It is highly recommended you have read all the User documentation before
reading this part.

.. toctree::
   :maxdepth: 2

   repository_tree
   memory_layout
   startup
   instrumentation_and_diagnostics/instrumentation_and_diagnostics
   version_management
   contributing
   code_style_and_conventions
   best_practices
   about_documentation