The Kernel API Specification Framework has moved past the RFC stage after five rounds of review. It introduces a system for documenting Linux kernel APIs in both human-readable and machine-readable formats, targeting the long-standing problem of undocumented interfaces between the kernel and user-space programs. Specifications can capture parameter types, valid ranges, return value semantics, locking constraints, and more. The framework supports runtime validation via CONFIG_KAPI_RUNTIME_CHECKS, a debugfs interface, and a Rust-based extraction tool (tools/kapi) that outputs JSON, RST, and plain text. It also enables static analysis, automated documentation generation, and formal verification. The latest patch series is rebased against Linux 7.0-rc1 and includes a KUnit test suite with 38 tests and 29+ TAP-based runtime verification selftests.
Sort: