.. SPDX-License-Identifier: GPL-2.0

============
Kernel tools
============

This book covers user-space tools that are shipped with the kernel source;
more additions are needed here:

.. toctree::
   :maxdepth: 1

   rtla/index
   rv/index

.. only::  subproject and html

   Indices
   =======

   * :ref:`genindex`