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 <<
15 14
16 .. only:: subproject and html 15 .. only:: subproject and html
17 16
18 Indices 17 Indices
19 ======= 18 =======
20 19
21 * :ref:`genindex` 20 * :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.