The Linux Kernel
6.7.0-rc2
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
Function Tracer Design
Notes on Analysing Behaviour Using Events and Tracepoints
ftrace - Function Tracer
Using ftrace to hook to functions
Fprobe - Function entry/exit probe
Kernel Probes (Kprobes)
Kprobe-based Event Tracing
Uprobe-tracer: Uprobe-based Event Tracing
Fprobe-based Event Tracing
Using the Linux Kernel Tracepoints
Event Tracing
Subsystem Trace Points: kmem
Subsystem Trace Points: power
NMI Trace Events
MSR Trace Events
In-kernel memory-mapped I/O tracing
Event Histograms
Histogram Design Notes
Boot-time tracing
Hardware Latency Detector
OSNOISE Tracer
Timerlat tracer
Intel(R) Trace Hub (TH)
Lockless Ring Buffer Design
System Trace Module
MIPI SyS-T over STP
CoreSight - ARM Hardware Trace
user_events: User-based Event Tracing
Runtime Verification
Runtime Verification
Deterministic Automata
Deterministic Automata Monitor Synthesis
Deterministic Automata Instrumentation
Monitor wip
Monitor wwnr
HiSilicon PCIe Tune and Trace device
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