The Linux Kernel
6.0.0
The Linux kernel user’s and administrator’s guide
Kernel Build System
The Linux kernel firmware guide
Open Firmware and Devicetree
The Linux kernel user-space API guide
Working with the kernel development community
Development tools for the kernel
How to write kernel documentation
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
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
Kernel Maintainer Handbook
fault-injection
Kernel Livepatching
The Linux driver implementer’s API guide
Core API Documentation
locking
Accounting
Block
cdrom
Linux CPUFreq - CPU frequency and voltage scaling code in the Linux(TM) kernel
Frame Buffer
fpga
Human Interface Devices (HID)
I2C/SMBus Subsystem
Industrial I/O
ISDN
InfiniBand
LEDs
NetLabel
Networking
pcmcia
Power Management
TCM Virtual Device
timers
Serial Peripheral Interface (SPI)
1-Wire Subsystem
Linux Watchdog Support
Linux Virtualization Support
The Linux Input Documentation
Linux Hardware Monitoring
Linux GPU Driver Developer’s Guide
Security Documentation
Linux Sound Subsystem Documentation
Linux Kernel Crypto API
Filesystems in the Linux kernel
Linux Memory Management Documentation
BPF Documentation
USB support
Linux PCI Bus Subsystem
Linux SCSI Subsystem
Assorted Miscellaneous Devices Documentation
Linux Scheduler
MHI
Linux PECI Subsystem
Assembler Annotations
CPU Architectures
Kernel tools
Unsorted Documentation
Atomic Types
Atomic bitops
Memory Barriers
Translations
The Linux Kernel
»
Linux Tracing Technologies
»
Runtime Verification
View page 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