.. 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
   python