1.. SPDX-License-Identifier: GPL-2.0
2
3============
4Kernel tools
5============
6
7This book covers user-space tools that are shipped with the kernel source;
8more additions are needed here:
9
10.. toctree::
11   :maxdepth: 1
12
13   rtla/index
14   rv/index
15
16.. only::  subproject and html
17
18   Indices
19   =======
20
21   * :ref:`genindex`
22