요약·해설, 영어 원문, 전체 번역을 구분해 실었습니다. API 이름, 코드 심벌, 소스 경로는 원문 표기를 유지합니다.
1. 요약·해설
원문의 핵심 내용을 정리하고 커널 프로그래밍에 필요한 설명을 덧붙였습니다. 아래의 전체 번역과는 별도로 작성한 해설입니다.
2. 영어 원문 전체
번역에 사용한 Linux v6.18.37 원문입니다. 줄 번호는 해당 버전의 소스 파일을 기준으로 합니다.
원문 전체 펼치기
1
.. SPDX-License-Identifier: GPL-2.0
3
==============================
4
Runtime verification (rv) tool
5
==============================
7
**rv** tool provides the interface for a collection of runtime verification
8
(rv) monitors.
10
.. toctree::
11
:maxdepth: 1
13
rv
14
rv-list
15
rv-mon
16
rv-mon-wip
17
rv-mon-wwnr
18
rv-mon-sched
20
.. only:: subproject and html
22
Indices
23
=======
25
* :ref:`genindex`
3. 한국어 전문 번역
영어 원문의 문단 순서와 의미에 맞춰 전체 내용을 번역했습니다. 코드, 함수명, 코드 심벌, URL은 원문 표기를 유지합니다.
RV monitor 모음의 사용자 인터페이스
1-17이 문서는 SPDX 식별자 `GPL-2.0`을 사용한다. `rv` 도구는 Runtime Verification monitor 모음을 다루는 사용자 인터페이스를 제공한다.
문서 트리는 명령 개요 `rv`, monitor 나열 `rv-list`, monitor 실행 `rv-mon`, 샘플 monitor `wip`·`wwnr`, scheduler monitor 모음 `rv-mon-sched`를 한 단계 깊이로 연결한다.
문서내용
rvRuntime Verification 개요와 명령
rv-list사용 가능한 monitor 나열
rv-mon선택한 monitor 실행
rv-mon-wip / rv-mon-wwnr샘플 per-CPU / per-task monitor
rv-mon-schedscheduler monitor 모음
인덱스가 연결하는 사용자용 문서다.
.. SPDX-License-Identifier: GPL-2.0
==============================
Runtime verification (rv) tool
==============================
**rv** tool provides the interface for a collection of runtime verification
(rv) monitors.
.. toctree::
:maxdepth: 1
rv
rv-list
rv-mon
rv-mon-wip
rv-mon-wwnrHTML 하위 프로젝트의 색인
18-25이 문서가 HTML 하위 프로젝트로 빌드될 때 `Indices` 절과 일반 색인 `genindex` 링크를 추가한다.
subproject and html→Indices section
Indices section→genindex
Sphinx의 `only` 조건에 따라 색인 노출 여부가 결정된다.
rv-mon-sched
.. only:: subproject and html
Indices
=======
* :ref:`genindex`
요약·해설
index.rst:1-25Runtime Verification 도구 문서 트리와 HTML 일반 색인 구성을 안내합니다.