From mboxrd@z Thu Jan 1 00:00:00 1970 Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.remote-ip=209.85.128.49 ARC-Seal: i=1; d=subspace.kernel.org; s=arc20261015; a=rsa-sha256; cv=none; t=1794334739; b=tNDsWROrq6Gq7Ovoz6D/RCcL84DBxMCVGVyfhDPq9BMby+T4xbsD9zBbnmk88t7yIgN9 BPdq6wpwwfLvaA49XaoNDNg2aW8rbIuGmmJGxjVj4IVHn69Ocjxq0swb1wQA8/pvnuN99 +Y7+3ezHTENQvwZg8lrjReKZGo0s37oPAoCxWoZfePy0c14DRtrj7SzF26a31BCDFDE5W HD1sQ6QTXZNvxCtgKTZ8t0XKXNpx6QfcX0aUdQ7jIicIgI7u2sn3hW4WVvvbPzoeDG7vP Jt98iR1uBpfslH448w75LKDDCfPkEKhBV7C8J9kMl57gDKVmc63v6h0B5NcsQyPLdyQ== ARC-Message-Signature: i=1; d=subspace.kernel.org; s=arc20261015; a=rsa-sha256; c=relaxed/relaxed; t=1794334739; h=DMARC-Filter:Received:DKIM-Signature:X-Google-DKIM-Signature: X-Forwarded-Encrypted:X-Gm-Message-State:X-Gm-Gg:X-Received:Received: Sender:Message-ID:Date:MIME-Version:User-Agent:From:Subject:To:Cc: References:Content-Language:In-Reply-To:Content-Type; bh=SE2lrUu9zrSXQsWXpC9NEVG/yxx3i85b5haa93pV8Hw=; b=OcsGgZMblaFQdyrWSVKrXbJHocR/RNDh+f4FM27Y4dJntO3foKDCDinBrOCAT4TArCmy N/0UkucYUdDAuyEyHUkRVXb8ue/bFSKFMqaIV7UjcRfoVkNh/rBqIINKRXtcRv5zwOllV BuzxDtAliKEH14qL7ajMw3ryI+qudY3AtQd9xdnlCK3OyEjGgilSsUomKiI+Y+sohejXB yY2zYRgyIzV1WtFjbFhRhocne2s2VAqL5yw7QwD7Px2fPLM3NyvwaJ/ZFSzW6QTeBpTlz Wp8wk6qJP3F9fbk20DltiLapedHUu7D7Spji4RzmJcRr+joKbIKg4alwiqajlHGPIqw== ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=pass header.from=gmail.com; spf=pass smtp.mailfrom=gmail.com; dkim=pass header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256 header.s=20260707 header.b=SPZkqliz; arc=none smtp.remote-ip=209.85.128.49 Received: from mail-wm1-f49.google.com (mail-wm1-f49.google.com [209.85.128.49]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature ECDSA (prime256v1) server-digest SHA256) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id AAEC5606A33C for ; Tue, 10 Nov 2026 18:18:58 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.4.2 smtp.subspace.kernel.org AAEC5606A33C Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=gmail.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256 header.s=20260707 header.b=SPZkqliz Received: by mail-wm1-f49.google.com with SMTP id 5b1f17b1804b1-4a5036bbac7so15542675e9.3 for ; Tue, 10 Nov 2026 10:18:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20260707; t=1794334737; x=1794939537; darn=vger.kernel.org; h=content-type:in-reply-to:content-language:references:cc:to:subject :from:user-agent:mime-version:date:message-id:sender:from:to:cc :subject:date:message-id:reply-to:content-type; bh=SE2lrUu9zrSXQsWXpC9NEVG/yxx3i85b5haa93pV8Hw=; b=SPZkqlizfa4It3AwLdPrXCHtu8hjP8QsFeAuGA6TzWaWCvEuPs6YRFrNxSLhGY6hGO zEkoZN4sdOPDpp0fSVUec9WqjBjvtMVvrEQ65XF2Yed4K+/loVPoO9Ic5C/uFsZE8NIW a7SuXA7nEFvGvWvLFPTq0Ynm5rdM5DLTPlMLycSJFkVrU8JWmlwSUfWDckahUOsYF0/H actdhCUUDnOinRx9t8xsvvN84/pj8Dul9B7nDEmVjtEJdE1h/jhCN5DMjHk5kgAuLSBU 2XR0ZbSD1t6mqP82bCf1wjFydzdoOh5APY9FvvrzDfKRwdJ1NyIsBaSfqst7u6E0YpPm teKg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20260707; t=1794334737; x=1794939537; h=content-type:in-reply-to:content-language:references:cc:to:subject :from:user-agent:mime-version:date:message-id:sender:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to :content-type; bh=SE2lrUu9zrSXQsWXpC9NEVG/yxx3i85b5haa93pV8Hw=; b=MwZpmSZzCCFSHtQD1gMvRBtkTOyN7UgtoKCMDj+gcnA3LbTi4hCIbgkUUd024Ezrk6 rbhfyS2G3gTKeDGKDynJJL/FMogng0stWZJOUGHIgj+ScKV317VIc5f8uZ8u3FId1tBp am67E0eTx6otjr1nCOfM5hjeZFJ4l8dZbaTuiP8wmyXbnutCFngo24uK2Sb61D+PXsjK rnSBnz8uc7/K/4uGfPLkEFrozRHat5Auqp6Rmnfj7T0oU17f9GPjxRoPFI/Q9o2qqYy9 uGbnclucAq2TIoLflF6EOtJgz9nWFvgvQP1CHHSiewW/LxbJTcJgeHFqiDJ9phOCsqED kGEA== X-Forwarded-Encrypted: i=1; AL+hErGvyRvRNUQY6a7gmHFwrhpPugLzxMmuIpkOhvhTQTP3d1if3nUxm52QCbPTqxHUGb4FJvOvzmgVMO4=@vger.kernel.org X-Gm-Message-State: APuU4Z8F8kpbUMKmHdAdL4GQQojyW3KlxL/pmFUmzqkssLSr704jSSfl UrmDH02Hl6MSxBcYZDVMhsBv9YHQnMOLltAFBIU5/4tznI7SF2G0tiFg X-Gm-Gg: AYBFou23hTLsNjo6CFsjkzfKvchmSoIdX3U9x7O2bwrDpIjhvcNaYR2GavqBIiqb6rP GGtiIKbnm9V4I/DcRWL/oqRkEpXwXHi1Dr8XDmezxFwf94lp3QGAbO0vca/Roi5j0Yel3k+lnwF kqsTiB/yXfc3zO7tcrUrTE81tZXJICJ9LIIar9eVErlKEVChUBiFwV4gx26nFOfegorx7rKuEpW xa2oEhGAoXTt0bMcX5equYhejeANdF6xbup5aAJcglWujMBa1nIqkrINvYRZmXc77hCSMweG+w1 b4aqwmJLdp/KyESgvPUzMpqOJrkXZN7tQuCJbf7C11aZsMPOsaZGXGcgfLW2eaMNHg+1n+dW26/ BKBhYxSLKrrZLPF0RsspqlRUtcFG6vTAUtCq3rSQFpRw7Z8mnOxLzTmm6uqJZfPeNk71uWMJMCI 7RcLxUL+8a46jk70gDRcellR5/37cDm38XRo5GvSJsz10O48chtZwdmoPLSLgObf1B523FOMnLj oPj+RxfwKM10KYjA29E3bYHM+hEuRAcRZpL5L5bOcr3fhsMbr83yDv+h+pG9TdcLH5l0+2JNJeu tXcI2DMQlGYlbSPFV6z+neHtNvoOs03rx8RxzJLXRHI0SNEbNBuVM1IXSuFi04BlhVhEXvIwMcP 8R42IXYTIn45QBImaTSX/3MaWcQxHleXKLV4wBxXTwuk= X-Received: by 2002:a05:600c:34c7:b0:4a3:5a98:c279 with SMTP id 5b1f17b1804b1-4ba0233a41emr53483145e9.8.1794334736887; Tue, 10 Nov 2026 10:18:56 -0800 (PST) Received: from [10.128.10.232] (195-23-151-163.net.novis.pt. [195.23.151.163]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-4ba01fe63e6sm121456885e9.7.2026.11.10.10.18.55 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 10 Nov 2026 10:18:56 -0800 (PST) Sender: Julian Braha Message-ID: Date: Tue, 10 Nov 2026 18:18:54 +0000 X-Mailing-List: linux-doc@vger.kernel.org List-Id: List-Post: List-Help: List-Subscribe: List-Unsubscribe: List-Owner: Precedence: list MIME-Version: 1.0 User-Agent: Mozilla Thunderbird From: Julian Braha Subject: Re: [PATCH v1 00/10] tools: Introduce a kernel configuration checker To: "Ahmed S. Darwish" Cc: Clark Williams , Steven Rostedt , Ingo Molnar , Nathan Chancellor , Nicolas Schier , Sebastian Andrzej Siewior , Frederic Weisbecker , Greg Kroah-Hartman , Jonathan Corbet , John Ogness , Derek Barbosa , =?UTF-8?Q?Zbigniew_J=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, arighi@nvidia.com References: <20261106091922.7560-1-darwi@linutronix.de> Content-Language: en-US In-Reply-To: Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------mHZpGD8kyHvacYrtSD2O5A48" This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------mHZpGD8kyHvacYrtSD2O5A48 Content-Type: multipart/mixed; boundary="------------ULacv4ysiB0EGOGi4fngWV05"; protected-headers="v1"; hp="clear" Message-ID: Date: Tue, 10 Nov 2026 18:18:54 +0000 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird From: Julian Braha Subject: Re: [PATCH v1 00/10] tools: Introduce a kernel configuration checker To: "Ahmed S. Darwish" Cc: Clark Williams , Steven Rostedt , Ingo Molnar , Nathan Chancellor , Nicolas Schier , Sebastian Andrzej Siewior , Frederic Weisbecker , Greg Kroah-Hartman , Jonathan Corbet , John Ogness , Derek Barbosa , =?UTF-8?Q?Zbigniew_J=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, arighi@nvidia.com References: <20261106091922.7560-1-darwi@linutronix.de> Content-Language: en-US In-Reply-To: --------------ULacv4ysiB0EGOGi4fngWV05 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On 11/9/26 15:49, Ahmed S. Darwish wrote: > Hi Julian, >=20 > On Sun, 08 Nov 2026, Julian Braha wrote: >> Cool tool =F0=9F=99=82 >> > Thanks! >=20 >>> If no ruleset is specified, the target prints the available rulesets:= >>> >>> $ make checkconfig >>> Usage: make RULES=3D [OVERLAY=3D] checkconfig= >>> Available RULES: preempt_rt >>> >>> The overlay mechanism allows distributions, CI systems, and Board Sup= port >> On the topic of distributions, this seems *a lot* like Canonical's >> Annotations [1], albeit yours uses YAML and supports matching option >> names with regex. > The difference is not only in the implementation details. Please see be= low. >=20 >> As you say about PREEMPT_RT configuration not being >> "one-size-fits-all", similarly there are 100+ Ubuntu kernels that need= >> to adhere to a configuration "policy". >> >> So this seems to be a real problem that others are having. >> > Kernel configuration is definitely getting trickier. That's why I've > contributed the PREEMPT_RT kernel configuration guide earlier: >=20 > https://docs.kernel.org/core-api/real-time/kernel-configuration.html= >=20 > Regarding the Canonical tool, it's the first time I see it. From that > announce e-mail, it seems that they're using it for generating a .confi= g: >=20 > Starting with 22.04 (Jammy Jellyfish), Ubuntu kernels are now using > only annotations to /generate/ their corresponding .config. >=20 > ... >=20 > $ ./debian/scripts/misc/annotations --arch amd64 --flavour generic >= .config >=20 > Yocto also provides a very light concept of .config generation: >=20 > https://docs.yoctoproject.org/kernel-dev/common.html#creating- > configuration-fragments >=20 > But this tool does not conern itself with generation. That is, Canonic= al > can use this tool to validate that they've generated the right thing! =F0= =9F=98=89 Yeah, Annotations also supports generation with --export. But it does support validating a config with a policy using --check [1] Anyway, the point was to provide context for the maintainers that this problem is bigger than PREEMPT_RT. I want to see this functionality / your tool in upstream. [1] https://git.launchpad.net/~arighi/+git/annotations-tools/tree/kconfig/run= =2Epy?h=3Dmain#n117 - Julian Braha --------------ULacv4ysiB0EGOGi4fngWV05-- --------------mHZpGD8kyHvacYrtSD2O5A48 Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature.asc" -----BEGIN PGP SIGNATURE----- wnsEABYIACMWIQT6qjll++tIFxF8TUPElYPCBXNxIAUCavNgDgUDAAAAAAAKCRDElYPCBXNxICmt AQCnoePBJmblDtx791LwMw6vMN74dOGbn1riSxrX5t4lFwEA9U+EgthEgVL036QIb6Xcl3PkwtNL NnsnRTbgzz+lNAI= =mw7w -----END PGP SIGNATURE----- --------------mHZpGD8kyHvacYrtSD2O5A48--