요약·해설과 원문, 전문 번역을 서로 분리했습니다. API 이름, symbol, source path는 원문 표기를 사용합니다.
1. 요약·해설
원문의 핵심 논리와 kernel programming 관점의 보충 설명입니다. 아래의 전문 번역과는 별도로 작성했습니다.
2. 영어 원문 전체
번역 기준이 된 Linux v6.18.37 원문입니다. 줄 번호는 이 버전의 파일 좌표입니다.
원문 전체 펼치기
1
.. SPDX-License-Identifier: GPL-2.0
3
============
4
Kernel tools
5
============
7
This book covers user-space tools that are shipped with the kernel source;
8
more additions are needed here:
10
.. toctree::
11
:maxdepth: 1
13
rtla/index
14
rv/index
16
.. only:: subproject and html
18
Indices
19
=======
21
* :ref:`genindex`
3. 한국어 전문 번역
영어 원문의 문단 순서와 의미를 유지한 전체 번역입니다. 코드, 함수명, symbol과 URL은 원문 표기를 유지합니다.
Kernel source와 함께 제공되는 user-space tool
1-21이 문서 모음은 kernel source와 함께 배포되는 user-space tool을 다룬다. 현재 RTLA와 runtime verification(RV) 문서 색인을 연결하며, 앞으로 더 많은 tool 문서가 추가되어야 한다.
toctree의 최대 깊이는 1이고 subproject HTML build에서는 `genindex` 링크도 표시한다.
문서범위
rtla/indexRealtime Linux Analysis tool
rv/indexRuntime Verification tool
현재 연결된 하위 문서 집합이다.
Kernel tools→RTLA
Kernel tools→Runtime Verification
최상위 색인에서 두 tool family로 나뉜다.
.. 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
.. only:: subproject and html
Indices
=======
* :ref:`genindex`
요약·해설
index.rst:1-21Kernel source와 함께 배포되는 user-space tool 문서의 최상위 색인으로 RTLA와 Runtime Verification을 연결합니다.