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