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

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

Instrumentation and diagnostics
===============================

Hi there!

.. toctree::
   :maxdepth: 2

   stack_usage
   context_switches_instrumentation
