The Linux Kernel
6.6.137
Quick search
Contents
A guide to the Kernel Development Process
Submitting patches: the essential guide to getting your code into the kernel
Code of conduct
Kernel Maintainer Handbook
All development-process docs
Core API Documentation
Driver implementer’s API guide
Kernel subsystem documentation
Locking in the kernel
Linux kernel licensing rules
How to write kernel documentation
Development tools for the kernel
Kernel Testing Guide
Kernel Hacking Guides
Linux Tracing Technologies Guide
Introduction to Tracing
Core Tracing Frameworks
Event Tracing and Analysis
Hardware and Performance Tracing
Intel(R) Trace Hub (TH)
System Trace Module
MIPI SyS-T over STP
CoreSight - ARM Hardware Trace
Runtime Verification
HiSilicon PCIe Tune and Trace device
In-kernel memory-mapped I/O tracing
Hardware Latency Detector
OSNOISE Tracer
Timerlat tracer
User-Space Tracing
Additional Resources
fault-injection
Kernel Livepatching
Rust
The Linux kernel user’s and administrator’s guide
The kernel build system
Reporting issues
User-space tools
The Linux kernel user-space API guide
The Linux kernel firmware guide
Open Firmware and Devicetree
CPU Architectures
Unsorted Documentation
Translations
This Page
Show Source
Runtime Verification
¶
Runtime Verification
Runtime Monitors and Reactors
Online RV monitors
The user interface
Deterministic Automata
Deterministic Automaton in C
Graphviz .dot format
dot2c
Remarks
References
Deterministic Automata Monitor Synthesis
DA monitor synthesis
dot2k
Monitor macros
Final remarks
Deterministic Automata Instrumentation
Tracing callback functions
enable and disable functions
Instrumentation helpers
Monitor wip
Description
Specification
Monitor wwnr
Description
Specification