From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mx0a-00082601.pphosted.com (mx0a-00082601.pphosted.com [67.231.145.42]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 709F338F94B for ; Tue, 13 Jan 2026 13:04:29 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=fail smtp.client-ip=67.231.145.42 ARC-Seal:i=2; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1768309476; cv=fail; b=QDaedom3x8QFJI5x0SIH77NOkFynpshYuk8b80KGcrZU3ZDNUrXfZyyGgU0zc9iXQgo1XVpVqXvRKszBRsnzrbvkAM5cx3zWb36r22LALf3YTb0DGCCflJa9fwgShorEIUymoXNK2y3Mk/5kajIjlIV1jgcjS46wbEVYvcGHFLU= ARC-Message-Signature:i=2; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1768309476; c=relaxed/simple; bh=j/yXGTAmScf/8r3hGUNN8Kp7jw+BHgxmzPyfB6OWaOY=; h=Message-ID:Date:Subject:To:Cc:References:From:In-Reply-To: Content-Type:MIME-Version; b=LEobWH8Zw2pAOCaJrSBuP5YxhWV+A9QRocwc2DOWoYikCT96j8rrtqV1nn8lgyUkdNUpnnhfECfTF7X+xIT8REOYQcdRwOl6tInomwXWuw7DadwkrvbTPQ8vVhKR7UQ3KOZ3MnzP3E9/gTeEVAgUHxSCcBF2BX0+vyMFCA1wopU= ARC-Authentication-Results:i=2; smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=meta.com; spf=pass smtp.mailfrom=meta.com; dkim=pass (2048-bit key) header.d=meta.com header.i=@meta.com header.b=CkkCb6eq; arc=fail smtp.client-ip=67.231.145.42 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=meta.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=meta.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=meta.com header.i=@meta.com header.b="CkkCb6eq" Received: from pps.filterd (m0148461.ppops.net [127.0.0.1]) by mx0a-00082601.pphosted.com (8.18.1.11/8.18.1.11) with ESMTP id 60DA6trx651555; Tue, 13 Jan 2026 05:04:05 -0800 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=meta.com; h=cc :content-transfer-encoding:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to; s=s2048-2025-q2; bh=al0wpBkFVBOzDfcrxz+0RpXOjQvm/I2NNDnWp6dUom0=; b=CkkCb6eqO+RP EkvBw70u8iIpZbiKsUDOIl8H3NB60LsSBi6s3VfKorKrDJR7IOQJ9Kq+1I0hUxZt 0CqyqKU6up2VdZw3wZ4f1x9u3QDfmpfEF8I47/pYoouACKdGu+pXKxiCPSIioTKM PxQWCoKM2RaiiwspAZNpmjI5FC7BjuDXY+M53S5VLaVT182qWvK8RHhIC66VuFsn BzV8XI2Ll4hQl/Q5VLt+vtqWotquBebGs73PKeD0lc8uApnAXhImmRgUfVc0nIyj +I5iqzu0NfcEdZ9Vng56uZC8Hr3XQS6ZeMKzT2Gv4IEFHJlqPCqp5LMJU+LUTsfU ymBJvxUqBw== Received: from sn4pr2101cu001.outbound.protection.outlook.com (mail-southcentralusazon11012003.outbound.protection.outlook.com [40.93.195.3]) by mx0a-00082601.pphosted.com (PPS) with ESMTPS id 4bn913whuh-1 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT); Tue, 13 Jan 2026 05:04:04 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=c14JQetlVHvGrUrVtBl2ECH5fOf7N+RurzOkechyEKutzuByoyAR3RsFxRFRbeIw0xKZVsEO403cnEp44UqaS1k19uX98J0X1cwgFlCX6+DlrUBqLA4J6bFmEBOvuZtPwS3dRyM2hQhbaB67KmkxLLhYqMnnpDCnCdCZUQYngHxgvUr6amlv2MVBaEFzWO+x4flDegBMFZ5im3hxbYpZlp56+wcQUJwvW35M1VIiEaICMYM2/G1eDpaTU9N0qqDtEEdkfXphQ6aXKFUPmLFah9ohmIKRibN8uI+yqa63cjS6wGGvOSQecaVUSn7AnCJzQfrARv+pkvbUegMVnJK9IA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=al0wpBkFVBOzDfcrxz+0RpXOjQvm/I2NNDnWp6dUom0=; b=LmMiC+T0kDgrxhGa/9cjKGvVPduX4PUE3NdM95jXmWmrlnrHa9wSL0PuCUypRI38lDLK9PwdNHhivczdDzcY2Wi7EXdWQuu0URnJt6H5MAUMAPVjfGvhoxY4pDc4doueIBAUA2HS0oELpbUpObXsTX9d34C6IlDqeXa2hN86d8a232tuydCplahyWhhyc7UtzhHYLBLoX0nXYfgjCZzi/dmHpLU4XjIRIMxLCiyJIBLTS/oxZNPX8PC2YpgOkKfy2wmRMT+ERCykxq4EBbRCPJdGsE3HeaxO0ktCskg6ZRU4970cNIYTPpCQVmww7/CuLaonPlfFO4PcNMtOxD5mFQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=meta.com; dmarc=pass action=none header.from=meta.com; dkim=pass header.d=meta.com; arc=none Received: from LV3PR15MB6455.namprd15.prod.outlook.com (2603:10b6:408:1ad::10) by BL3PR15MB5436.namprd15.prod.outlook.com (2603:10b6:208:3b7::22) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9499.7; Tue, 13 Jan 2026 13:04:02 +0000 Received: from LV3PR15MB6455.namprd15.prod.outlook.com ([fe80::444a:f42c:1d70:40b5]) by LV3PR15MB6455.namprd15.prod.outlook.com ([fe80::444a:f42c:1d70:40b5%4]) with mapi id 15.20.9520.003; Tue, 13 Jan 2026 13:04:01 +0000 Message-ID: Date: Tue, 13 Jan 2026 08:03:51 -0500 User-Agent: Mozilla Thunderbird Subject: Re: Follow-up on Linux-kernel code accessibility To: Lorenzo Stoakes Cc: Theodore Tso , Julia Lawall , "Paul E. McKenney" , Gabriele Paoloni , Steven Rostedt , Kate Stewart , Chuck Wolber , Dmitry Vyukov , Mark Rutland , Thomas Gleixner , Shuah Khan , Sasha Levin , linux-kernel@vger.kernel.org References: <90d56d30-232d-4930-ad9f-5aebade7cdf2@paulmck-laptop> <636d1798-3b37-293a-51b2-55d2ecc6d2d@inria.fr> <20251219170945.GA32430@macsyma.lan> <8dbb505a-8ad8-444e-a1f9-1578d76b8d44@meta.com> <2e7e11cc-907c-47b2-8308-342b52e784c0@lucifer.local> Content-Language: en-US From: Chris Mason In-Reply-To: <2e7e11cc-907c-47b2-8308-342b52e784c0@lucifer.local> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-ClientProxiedBy: MN2PR20CA0047.namprd20.prod.outlook.com (2603:10b6:208:235::16) To LV3PR15MB6455.namprd15.prod.outlook.com (2603:10b6:408:1ad::10) Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: LV3PR15MB6455:EE_|BL3PR15MB5436:EE_ X-MS-Office365-Filtering-Correlation-Id: c570cc75-ea7e-45cd-a272-08de52a438db X-FB-Source: Internal X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|376014|1800799024|7416014|366016; X-Microsoft-Antispam-Message-Info: =?utf-8?B?QjhmQkZNWkNsZmR3OVF4Mm5KNVRnM1ZJVjd3SndJamFpM1hROUNsclNBa0RD?= =?utf-8?B?aXdhb085Vk9xbnM5K0s5SWZwOSthdHFrL0h2cXFveFlSZVJ0aVd0bG1MM2Fa?= =?utf-8?B?cHgrQ0lUcnVYTS96MUVDK3JRcDNJM0JtN1hmQmJDdGdsbjVnWXJ5RkRHTlNx?= =?utf-8?B?RzVXZ2g3QU1ETGJLNXhzMllPdy9yMFR0cVFONHhXK0hha0RnS2JDcUNtbGFm?= =?utf-8?B?aFdoLzlJRmJ2d2N2azh4ZVhWNGpzZktDOSt0VndWV0p2MnMzdDhwK3JlVStN?= =?utf-8?B?aHZNTG55eDdkTVJhbmwva1U3elBPREFObkJhL2ZXSmk0bDhnNGtxRS9KcUk3?= =?utf-8?B?SlNZSFNXb3IrOHZwRzI4QzNMTGxZYjk3UUpOeGZtZG90VmxUcDFFRFp6NGJj?= =?utf-8?B?ck5majF4b3pYWnpyZHFka2JWdDYvK2d4Wm1KZ1Z5eHdScGZ4YkxzNW1wZkZU?= =?utf-8?B?UVFqL3Q4VDlMK3N3WHAxOTI3MzY0bDM5c1A5SlFQWW9Kd0ZDNnpRRFE3Wk1V?= =?utf-8?B?WmVYVTdUYkkxcUVGY2VKZ1dzQkhPbDg5cytDNU1SZlgrUDFibDZqZXJqQkg2?= =?utf-8?B?eWIzOERHZVNaWmFUd0xIVnNGaHlhbzJ2b3d1S0pYRmVWU1Mwdng5WjVnbnJT?= =?utf-8?B?c1RKYURBNnhGM2VxR3kxWjhXbGNyQ2VZbElFYitVY3pORDVNb0NlWk0yd1I0?= =?utf-8?B?TmdxNXFrTzNQVmtPMFVoVjRrR3RJdHFkcnNPdVZRMkVtVmpCbEJQUkJGZWta?= =?utf-8?B?cGNkVDZ5ZkV4SlZFZklVcVdBeEt0VGZHZ2VvVTRpRFNiK2w1alhWWEsyNDNG?= =?utf-8?B?d0FFbmdRckZlbUNsaXo0OTl2TFhrUGdYOUthcGhNTDlXRHVtSEZyZW1rN1JG?= =?utf-8?B?aU5Bekc0UXM2dnNNc3B2NFliRlJqTzBXSkVzN3p6U21vczQ4MzgzUVZkVHdt?= =?utf-8?B?dnJDUHAvQi95VE9xOW91MGFscmtuOFo5MlRiZytaUVcrRG85Ukora2VHZHND?= =?utf-8?B?YzJKSUloQjNnc3g5aTEzcXcyK1duVVFEMHRxV1FrN05Rc3dxMUpmQmh4TzI2?= =?utf-8?B?SmlRMDNpcmh5dTJ5dG9kb3BnTUQySURsUXUwTTFQSnl5aGxzVHl0YWVHdldi?= =?utf-8?B?M1NucUc1NnVPVEM3RFZYMGdPdXRaSFVVWWtiQVJqVG9VeWNCajRneC85bXJG?= =?utf-8?B?bGVBS0VpWGRtOUt6RzcrWjRmRm9aVlZua0VwVDdDb3o4V1phWmZpYkxJbFMw?= =?utf-8?B?OEpia2FvSHpwbTdWbkU0QlpkcngrRDNJTmdhWnRGb2FkL3VnQXg3MkRHL1U5?= =?utf-8?B?V1FWR1ZGT2svR1REZUV1Rk1IemYvUVJxTnp3Q1lySFZ6aFBRQ0dUemVmRkwv?= =?utf-8?B?eFU4MkFxZmQwRXVTaFdXSE5rYzVzR291VGRSNnVDcDJXZCszdkNRcGdkcUVF?= =?utf-8?B?Uzhyb1NrcmtFa0pHNmN0U3pZYjFraFpNcWRlWkRYVkNicTNHUVRxODUzRUJw?= =?utf-8?B?UFRja3FJWk1hNHljOVNFblhIWGkrWXRyaTF4TldSMmRUc1RYamRXN2tsSnU2?= =?utf-8?B?djVxdU9jbUoza1JJWXBvOTVWbFIxTWhHTWhnWkd4YWZZQy9uVE1CQVFvVWh6?= =?utf-8?B?THhFTGoyWUIyNnhxeWUzVU9wSDd0K2d6RGtwbGRieTlncHFVay9Bc1BMelVh?= =?utf-8?B?T1V2TWZwd2dvK0pONVErc0s3aFpaNk01N1owTVpHTXQycjJLYllmZlVkSXdy?= =?utf-8?B?bnE1Q3JIMnlkdjFTOWtLd0hBM09LUXUyRHZHY3JkVHM1UUR4SEticmNCWjJq?= =?utf-8?B?SW1tWkVFQmhXZncwR2Vuam42cUxMMXA0Y0IrT2dYTzVIaEhlRXFlMXprbXhL?= =?utf-8?B?KzA4MktLTTlHeXl2N05iWFdkY1RBbGhoemtHUjViMjlESVNuNVlacFhlMDdP?= =?utf-8?Q?4BTLT0fdyiyeec/iX4DEQ+N8XIkD4sT1?= X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:LV3PR15MB6455.namprd15.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230040)(376014)(1800799024)(7416014)(366016);DIR:OUT;SFP:1101; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?ODhLZkVQTmRFc3pkelNNWjhRWFNrWlAraEhUMEJsRks3TDlVc3BxazNTVFNn?= =?utf-8?B?MHptVzg5dDJWN2lEYmtxUDR6U3dJdFNYQ3NyZkdFa2ZNaE1aZzJ5NzhhNmtL?= =?utf-8?B?dUx1bTBTazVkZmluL1dseEFvZzFUN0htalJMeVF6M09BTHNxMjZLT2hER2hY?= =?utf-8?B?dXJpSWlRUFN5WXBxOVlpTnhURVZOaDJYQkNzQ3FvV1poZ2l2ZTZ2QUVOY0dl?= =?utf-8?B?clJReXNQUkVsYmErb0UvK1RKdm0rZXJvUUpOZzdwckpTRDdrdGRHYnBZZzE3?= =?utf-8?B?dEFGcVhqOWoyOWFMemZsU1EvNUlBZk1paXhZRTBIRmxMYVVDNHM2c2h3YXhv?= =?utf-8?B?SFhoc0tBcFFONE1BYjN4aCtXdXZ1YWYwUGY4MXhrQjZjc3pHMzRieGhweG8v?= =?utf-8?B?d1A2bkhRVHBqeVo4bEcxVjE3cFRvTWJWYkt1cmxHdlJWSVphWS9RWFpxQzdW?= =?utf-8?B?NEhwK20yMzNWWHlSMzlJMEcrY20yK0J3QlpDK3VqbVV6dTVuWlNTV3Z4dnpK?= =?utf-8?B?VENrRVAybVdiZmhVdzdlbklxeVpCUEt2dVkxeEF0U3FBNzBuNHV3bktIckVt?= =?utf-8?B?M0t4VFJwaWJocC9ieVczaG96WUx5Ri9mR0hWbVZkeWErWkorQnVuZytXZXU3?= =?utf-8?B?enlqdWZxeFRHWE83V3JVRmx5elhuWmFnbGRCWHNoaWJQaEthY1NkaHpoQlp1?= =?utf-8?B?NmpPRVdSdy82bUpQTmVmQSt0bDE3bkJXdUdsM1Fnd3NOZ2psYzdhMWVKVU5r?= =?utf-8?B?Y3lSNTdXR2RydkZyZVkwUE5SSHMrV0FjVE14TFRZSS9IUWN4VVVIb1FaSWx5?= =?utf-8?B?NG14ZTUyejdTNmU4Y2RKVGhqYTQ2K3o0cWR1T09IM2FCMUkvNU1aVXVWMlIx?= =?utf-8?B?NGd4eEY2VTM5Zm9qYkV5Zm14T1JMaUw4cHBnVzFDbFR6VjhIdE1iWjJJL3kw?= =?utf-8?B?MjZEaDNGRGM0blVQM0NVelFiUEhpVFl6UW1GRkZvdU13RzJVSFIyOU5Ca1l3?= =?utf-8?B?MXF5eVIxRGVVbk0yT05kdDBhMGZBZ1cvVnI5dGdlWEFtRFVjYk5KbFkzRkZW?= =?utf-8?B?U1RRWWxrOGN3YWtSMm5IMjNsLzFuUDA4Sm9QS2loQnhPZDNMUDFhV3E5cnU4?= =?utf-8?B?dEhIaUpZTC9Cck5HbzRqNVJMT0lENnJZa0hmcUwySlFuL2Z0TW1SK25Eb2tn?= =?utf-8?B?cStIcHhDUllBdTJsTTJqWFBoK3RheWZ5QU9YQ3NXeGZmd01mQWg2VmVUTEs4?= =?utf-8?B?RFM3b25XYUkvQUE5MkNadFU3U3RWczY4TFdoZzUwdmM5b0NyUnVCdUpSSnhU?= =?utf-8?B?L09sZUlnbVZGN3A5ek5kTmRwZ2l0V3dEdlJNNnBJTGloZkVhOEYyMDhkcXNv?= =?utf-8?B?aHN3MERsVkRKMEMwNFRjc1ZQeCtycFRWZ3FabGdmd240VmIyUmFER2JiVkVZ?= =?utf-8?B?dTk1cUluc2lkcDJrQ09QNkNUOWV5eEZpMUN1WTN5aVlnVUx1K2VZUnErWUdX?= =?utf-8?B?SURJTjRjdjM4UEdkZlZPZ3dkYTUxcWY1YS91REF1RDVqRDRtTGducVA4MFlt?= =?utf-8?B?c3Y4UzQxZ3owTk9PVXRXQ3BndXRqRTNNME1wK3N1OFRtaE5zM0NsUENlNStG?= =?utf-8?B?SjMxa1RFMTBoaVQvRUJQeUllZjZsbzZvSHp2ZTFnOWhSNCtRZXVNbjJvTEN2?= =?utf-8?B?K243TG5VMk1sUVF5enFqVUNESTNsOTdTenRTMWJLaVYyL2lCU2JoNmlNQ1RE?= =?utf-8?B?OVdzTUh0bFFnRVBpczhMZmQ4NTl5QnYyWmJiZlhBeFNUTlZVQ0R6dGl1eSth?= =?utf-8?B?dVFSV0EvaHhHYmE1T0lDZzQ0L0Jib25Fdm1xODNvbmlLUklJWWJTaHBWYkc2?= =?utf-8?B?WXVOQTIrV3FZaUhHMmgxczM1aWFhWTVRSkRXck42TTJxYmo1Q0ppV2tqdk5y?= =?utf-8?B?T3FDNzlvS2d0V25TMXdmMSsvaFd3T3M3aXh4SlIrazJqZnNTd2VlU1AxZjhu?= =?utf-8?B?Q3dRaUNtMXVyNzhhWHBVQkdpSnlLQUFFUmpjM2RiejlqcmpaZnFwZUptcWQ0?= =?utf-8?B?emtZcnVGc2F6MkRJNUFKRkRvWFFPcWtrZlVydjJzRG9kaEJCSkY1WDFSY0J0?= =?utf-8?B?b2hXV2pDem9qTWd1UlFRbnZmR1NPUm1zVzJiWWxxdGRLVGhZeE90VytNQ2h0?= =?utf-8?B?NkVoNElJd0pPeGp2Y3ZCYWtsTkRlRWpiTG5iUGNndytFaUptQ2YzcUJrQ3Ix?= =?utf-8?B?ZFl4MFh2dkZxNUViUG51TlNhY3Y1OGJONUQ1N2dVT2hQZnpqTTdNNmJIL0w1?= =?utf-8?Q?9hO2m88ls2s6EIs0Br?= X-OriginatorOrg: meta.com X-MS-Exchange-CrossTenant-Network-Message-Id: c570cc75-ea7e-45cd-a272-08de52a438db X-MS-Exchange-CrossTenant-AuthSource: LV3PR15MB6455.namprd15.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 13 Jan 2026 13:04:01.7991 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 8ae927fe-1255-47a7-a2af-5f3a069daaa2 X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: cLFrSoAghH6iZ+zm5ZtsM+vv9CXVzwTRUitlu3W6v2bBI4jfdlrnjtZorLQei8L/ X-MS-Exchange-Transport-CrossTenantHeadersStamped: BL3PR15MB5436 X-Authority-Analysis: v=2.4 cv=Dccaa/tW c=1 sm=1 tr=0 ts=696642c4 cx=c_pps a=4HEXQ/P5pkaUFkQJdDnQHg==:117 a=6eWqkTHjU83fiwn7nKZWdM+Sl24=:19 a=z/mQ4Ysz8XfWz/Q5cLBRGdckG28=:19 a=lCpzRmAYbLLaTzLvsPZ7Mbvzbb8=:19 a=xqWC_Br6kY4A:10 a=IkcTkHD0fZMA:10 a=vUbySO9Y5rIA:10 a=VkNPw1HP01LnGYTKEx00:22 a=PM08vLV2P2M2xib7MOQA:9 a=QEXdDO2ut3YA:10 X-Proofpoint-ORIG-GUID: shcN7q8t-0tx9VL3KFkmffEjd7Jy6pxG X-Proofpoint-Spam-Details-Enc: AW1haW4tMjYwMTEzMDEwOSBTYWx0ZWRfX4sfPdY1XzqmW OO2uE51HGKt/sgeenFLXWcyLwdFxpM7cIVHOm9+Y/5xes/P8Y+nZnlUd+NPpgCjmu3zZr9FWiTa utd0jogIBU4Hav+OWGnL/Z2DsEQKDMjzkOLD1jUx/utIdlQTZ+22dIITRYGUMXPz3vcB+hFUwHv L7+9cw3rMd6znlV67zOC21gI01M1rGZBxRCCL1zrugNIRzz/NeHfnPW4dTw34dK6lXwtFitCMwr co+smNYONSyz4OBf6C8sDlI3lc0BReMpCTsos2F8nwHKXgQOFfYCwWMOKeDLeavz+ozUpXBQ/gX w/FV6p6RhK3frk8s5wBCwFBKiqye+gjm8H8x2r5beP72dxv7QAK1NHNU38s4g0Aq6fT6mpWOy1J ljNuDcUZwW1Ov47dkM+f+3FPlBal2yeGKH+uqyVxIcz/FSnILmE8K12zVdWoj/wTfTah4LRrG/9 6p65Bb160uqUwVcY7Bg== X-Proofpoint-GUID: shcN7q8t-0tx9VL3KFkmffEjd7Jy6pxG X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.293,Aquarius:18.0.1121,Hydra:6.1.9,FMLib:17.12.100.49 definitions=2026-01-13_03,2026-01-09_02,2025-10-01_01 On 1/6/26 1:08 PM, Lorenzo Stoakes wrote: > On Fri, Dec 19, 2025 at 04:05:33PM -0500, Chris Mason wrote: >> On 12/19/25 12:09 PM, Theodore Tso wrote: >>> On Fri, Dec 19, 2025 at 07:51:47AM +0100, Julia Lawall wrote: >>>> >>>> Maybe we're not looking for an instant understanding methodology. Rather >>>> a machine checkable way to document the invariants that exist in the head >>>> of the developer, and for some bounded amount of time in the head of the >>>> person who has tried to reconstruct them. >>> >>> One of the things that I found really interesting with Chris Mason's >>> kernel review prompts is that it documents some of these invariants >>> which are not otherwise covered in the kernel documentation. And >>> while Chris originally created those prompts for Anthropic's Claude >>> LLM, we've successfully used them with Gemini 2.5 and 3. >>> >>> I wonder if we should consider folding them into the kernel sources, >>> so they can be updated alongside the kernel. It might also mean that >>> as the invariants change, the documentation / prompts in an LTS kernel >>> and for the latest upstream kernel can be up to sync with the relevant >>> kernel versions. >>> >> >> Yeah, I agree. I think/hope these details from the prompts can end up >> folded into the kernel docs. As the prompts age, we're going to have >> the equivalent of sprinkling ifdefs into them, and I think it's much >> better if they just reference knowledge in the kernel. >> >> I recently pushed out changes that remove most of the process and focus >> more on kernel internals. So hopefully over time we can get to >> something that just documents kerneling in a way that is useful beyond >> LLMs. >> >> -chris >> > > I think we have to be super cautious about ensuring that any such output is > correct. > > To me the system is assistant-to-an-expert. > > Adding a bunch of invariant details including very subtle (or otherwise) > bugs is worse than having no such documentation. > > I say this with a far more broad and open-minded impression of AI tooling > in relation to review and the kernel in general by the way - I'm just > keeping things real here. > > Maybe the answer is we need a R-b for any such output from maintainers with > appropriate expertise. I agree with all of the above, and my goal for the prompts was always to have the subsystem specific prompts owned by the subsystem itself. If a particular subsystem isn't interested, I'd either limit it to obviously correct details or just not run reviews against those commits. We're not quite there yet, but both scheduler.md and nfs.md were contributed by respective maintainers, and the bpf and block details were reviewed when they went in. LLMs end up consuming these docs the same way people do, so all the debates about where to put documentation (inline comments? doc files?) apply the same way. I think the review automation is a good excuse to talk about this for individual subsystems, and hopefully the automated reviews can help subsystems keep whatever documentation scheme they choose up to date. > > Thanks for the work you're doing on review by the way Chris! Is promising > :) Thanks! I'm doing another MM run this week, so you'll soon have a chance to give feedback ;) -chris