1 .. SPDX-License-Identifier: GPL-2.0 1 .. SPDX-License-Identifier: GPL-2.0
2 2
3 ============ 3 ============
4 Kernel tools 4 Kernel tools
5 ============ 5 ============
6 6
7 This book covers user-space tools that are shi 7 This book covers user-space tools that are shipped with the kernel source;
8 more additions are needed here: 8 more additions are needed here:
9 9
10 .. toctree:: 10 .. toctree::
11 :maxdepth: 1 11 :maxdepth: 1
12 12
13 rtla/index 13 rtla/index
14 rv/index 14 rv/index
15 15
16 .. only:: subproject and html 16 .. only:: subproject and html
17 17
18 Indices 18 Indices
19 ======= 19 =======
20 20
21 * :ref:`genindex` 21 * :ref:`genindex`
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.