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