Re: [PATCH 0/9] Kernel API Specification Framework
From: Sasha Levin <sashal@kernel.org>
Date: 2026-03-18 14:14:14
Also in:
linux-doc, linux-fsdevel, linux-kbuild, linux-kselftest, lkml, tools, workflows
On Wed, Mar 18, 2026 at 07:24:10AM +0100, Mauro Carvalho Chehab wrote:
On Sun, 15 Mar 2026 02:36:51 -0400 Sasha Levin [off-list ref] wrote:quoted
On Sat, Mar 14, 2026 at 11:18:22AM -0700, Jakub Kicinski wrote:quoted
On Fri, 13 Mar 2026 11:09:10 -0400 Sasha Levin wrote:quoted
This enables static analysis tools to verify userspace API usage at compile time, test generation based on formal specifications, consistent error handling validation, automated documentation generation, and formal verification of kernel interfaces.Could you give some examples? We have machine readable descriptions for Netlink interfaces, we approached syzbot folks and they did not really seem to care for those.Once the API is in a machine-readable format, we can write formatters to output whatever downstream tools need.Kernel-doc already does that. The way it works is that it handles kernel-doc markups on two steps:
Cool, I'll take a look. We could throw away the source parser in the kapi tool and just use the kerneldoc parse. -- Thanks, Sasha