From mboxrd@z Thu Jan 1 00:00:00 1970 Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.remote-ip=193.142.43.55 ARC-Seal: i=1; d=subspace.kernel.org; s=arc20261015; a=rsa-sha256; cv=none; t=1793956777; b=s/70Z5tNNG0wIlTN5EBZo7jJCszAPlLVT5gVk0UjO6r03XLFq2/c3LJSb+1VqXuLzTEO BQMSWpFmbZqGUAMHn2X+JpQFoMVOGY6N1itTZKmjzuY7KpatdvmZXgrlRPfr+MyVwV2MC 6ZCyzBF7C8mqZWLKNGB1uTXYmyE391B0ZiQuygDA7awwsrtsanrLawNDv6tZhvBYEr49D x68kcjznZvWpTKJ7iIhj8k1mFOPNx74fQ3uM68txUnwOgB8iuzUVRjI9alPSnMwfknN/3 /upx3m1ynN5E0u14Fc04hmXwUBC4gwHXIA7ZDr+bJH01aFc/ZBm++alPTMT0G+LRecQ== ARC-Message-Signature: i=1; d=subspace.kernel.org; s=arc20261015; a=rsa-sha256; c=relaxed/relaxed; t=1793956777; h=DMARC-Filter:From:DKIM-Signature:DKIM-Signature:To:Cc:Subject:Date: Message-ID:MIME-Version:Content-Transfer-Encoding; bh=CLqGhRWL28nklaizU2djeHKmMcMTeFFmrv6Rmqf/vS4=; b=zkISsCsicNC18vTNwd/JY/PWT5Pjjbrj+xDgu+MDkGG+X2F8s22MznfRsizEZusxdrFJ eVPoX4r64toqwF6Lv9Uy5ty2qOHn1rAet0SGXARFUAq3A5t1PLhtoeWCrxooyV+zE3mMW JWMCZWLykJjjX53JYnALCPTedyK49DyMTeMJfBmuotyfSrIqhU5M8XRsQG/fL3PD9RHgY RBWdihWqDPYVZDm7FWyDzjLzbjwB0AgxR79SgAJ8zX/xzJvOfHA/BNX4/yc16hTHHDuEy BMKy3xZqdZ2PXoU133oehjE2MkbMRmqzvRrccfGwlGYfV+AgOc4tPVDyrzlppRZtU7w== ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=pass header.from=linutronix.de; spf=pass smtp.mailfrom=linutronix.de; dkim=pass header.d=linutronix.de header.i=@linutronix.de header.a=rsa-sha256 header.s=2020 header.b=F4cTQbfj; dkim=pass header.d=linutronix.de header.i=@linutronix.de header.a=ed25519-sha256 header.s=2020e header.b=jQaYRbf8; arc=none smtp.remote-ip=193.142.43.55 Received: from galois.linutronix.de (Galois.linutronix.de [193.142.43.55]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (prime256v1) server-digest SHA256) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 5EAD3606A328; Fri, 6 Nov 2026 09:19:36 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.4.2 smtp.subspace.kernel.org 5EAD3606A328 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=linutronix.de Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=linutronix.de Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key, unprotected) header.d=linutronix.de header.i=@linutronix.de header.a=rsa-sha256 header.s=2020 header.b=F4cTQbfj; dkim=pass header.d=linutronix.de header.i=@linutronix.de header.a=ed25519-sha256 header.s=2020e header.b=jQaYRbf8 From: "Ahmed S. Darwish" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linutronix.de; s=2020; t=1793956774; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding; bh=CLqGhRWL28nklaizU2djeHKmMcMTeFFmrv6Rmqf/vS4=; b=F4cTQbfjtJka3sRGuDUXf6gpEYUhVSYjrN6Tpk0Il9iWONC33smP4oY5nqTvkt70J374Q3 hYU+oDDUWy4/MQKdClEYEFiryYPQfU6Im+40B8PCvZGgml0ej3/iA0k1EPFNP1TCxpt6q0 GmZe9ff39mFeGvxT1YkegdUzdyg2svCEgclNjptZMhVMgKn3Oy0nKI7dtv7bEopnbdkvDQ 6+lMUgY+jzbolcZJFrFuM1bG0lZ5coEUoL3gEHflWjYPzPdYLo+kex3/XDTqWI7P9sizEV L2ZJovHyOxtDEQ6qUEoy6agbxDsnYvzLLelp9Guhhko+t86Naev3waynk+aAPg== DKIM-Signature: v=1; a=ed25519-sha256; c=relaxed/relaxed; d=linutronix.de; s=2020e; t=1793956774; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding; bh=CLqGhRWL28nklaizU2djeHKmMcMTeFFmrv6Rmqf/vS4=; b=jQaYRbf8s7LKY0qD3zjMOV47Zw34wEQCu4abMIbrqBCZEgVabqoFTgnP74cXDYWKT8ls2l CbUQIdLtfCEeXrDQ== To: Clark Williams , Steven Rostedt , Ingo Molnar , Nathan Chancellor , Nicolas Schier Cc: Sebastian Andrzej Siewior , Frederic Weisbecker , Greg Kroah-Hartman , Jonathan Corbet , John Ogness , Derek Barbosa , =?UTF-8?q?Zbigniew=20J=C4=99drzejewski-Szmek?= , Daan De Meyer , Luca Boccassi , linux-rt-devel@lists.linux.dev, debian-kernel@lists.debian.org, linux-kbuild@vger.kernel.org, linux-doc@vger.kernel.org, linux-kernel@vger.kernel.org, "Ahmed S. Darwish" Subject: [PATCH v1 00/10] tools: Introduce a kernel configuration checker Date: Fri, 6 Nov 2026 10:19:12 +0100 Message-ID: <20261106091922.7560-1-darwi@linutronix.de> X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Post: List-Help: List-Subscribe: List-Unsubscribe: List-Owner: Precedence: list MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Hi, A month ago in Prague I proposed a kernel configuration checker: PREEMPT_RT configuration: Best practices with kconfig-checker https://youtu.be/hqnOmdpGBdQ This series adds kconfig-checker: a Python tool that checks the kernel .config against a set of YAML rules and reports all issues by severity. The series also adds: - a PREEMPT_RT configuration ruleset - a make checkconfig target - support for ruleset overlays Example: $ make defconfig $ ./tools/kconfig-checker/check.py check -c .config -r preempt_rt Configuration Issues with severity = FATAL ========================================== * CONFIG_PREEMPT_RT is not in .config Rationale: https://docs.kernel.org/core-api/real-time/kernel-configuration.html#config-preempt-rt Configuration Issues with severity = HIGH ========================================= * CONFIG_CPU_FREQ_DEFAULT_GOV_PERFORMANCE is unset Rationale: https://docs.kernel.org/core-api/real-time/kernel-configuration.html#config-cpu-freq-default-gov-performance * Below options are set: CONFIG_SLUB_DEBUG Rationale: https://docs.kernel.org/core-api/real-time/kernel-configuration.html#kernel-debug-options Configuration Issues with severity = MEDIUM =========================================== * Below options are set: CONFIG_CPU_FREQ_GOV_USERSPACE CONFIG_CPU_FREQ_GOV_ONDEMAND Rationale: https://docs.kernel.org/core-api/real-time/kernel-configuration.html#non-performance-cpu-frequency-governors ### ... ### More output ### ... The same check can be run through make: $ make RULES=preempt_rt checkconfig If no ruleset is specified, the target prints the available rulesets: $ make checkconfig Usage: make RULES= [OVERLAY=] checkconfig Available RULES: preempt_rt The overlay mechanism allows distributions, CI systems, and Board Support Packages to apply additional policy or override existing mainline rules. For example: $ ./tools/kconfig-checker/check.py check \ -c path/to/.config \ -r preempt_rt \ -o path/to/overlay.yml or: $ make RULES=preempt_rt OVERLAY=path/to/overlay.yml checkconfig Patch 09/10 documents the overlay format and gives an example use case. My goal is to get this into the kernel and have Debian's PREEMPT_RT kernel packaging to use it. I'd also like systemd to use it: its README lists 60 kernel CONFIG_* symbols with different requirements severity. Thank you! Ahmed 8<----- Ahmed S. Darwish (10): kconfig-checker: Add schema for rule files kconfig-checker: Introduce PREEMPT_RT configuration rules kconfig-checker: Add the configuration checker code kconfig: Introduce checkconfig target Documentation: Describe kconfig-checker usage and design kconfig-checker: Split schema to support component reuse kconfig-checker: Introduce overlays schema kconfig-checker: Add support for rule overlays Documentation: Describe kconfig-checker overlays kconfig: Introduce OVERLAY= for make checkconfig Documentation/admin-guide/README.rst | 29 + .../real-time/kernel-configuration.rst | 3 + Documentation/tools/index.rst | 1 + Documentation/tools/kconfig_checker.rst | 101 +++ scripts/kconfig/Makefile | 25 + tools/kconfig-checker/check.py | 686 ++++++++++++++++++ tools/kconfig-checker/rules/preempt_rt.yml | 169 +++++ tools/kconfig-checker/schemas/base.yml | 114 +++ tools/kconfig-checker/schemas/overlay.yml | 28 + tools/kconfig-checker/schemas/rules.yml | 20 + 10 files changed, 1176 insertions(+) create mode 100644 Documentation/tools/kconfig_checker.rst create mode 100755 tools/kconfig-checker/check.py create mode 100644 tools/kconfig-checker/rules/preempt_rt.yml create mode 100644 tools/kconfig-checker/schemas/base.yml create mode 100644 tools/kconfig-checker/schemas/overlay.yml create mode 100644 tools/kconfig-checker/schemas/rules.yml base-commit: 6628e7d4c6b25c8d18f1345e3a20d21829aae7e4 -- 2.56.0