From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mx0b-00082601.pphosted.com (mx0b-00082601.pphosted.com [67.231.153.30]) (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 135301E520C for ; Fri, 19 Dec 2025 21:06:12 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=fail smtp.client-ip=67.231.153.30 ARC-Seal:i=2; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1766178374; cv=fail; b=CCEiqs4BzAFTddV6OxdAyED36ruc7W1Rrx7juzsvhqawtaQkKkM1MyhJgeEVsDJWJsb67tIrNnIAo/KrXv4RegQMYlS5kbvp3RwFxFJv26fkr4ucC7JwYdeqF30du6KcUe0wH3A9rjdPwIRK7Zwcyr/DT8afzpLQ3/8ISmbEkwM= ARC-Message-Signature:i=2; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1766178374; c=relaxed/simple; bh=f0FasDyr5wEYW1yLVfUlVTWi7zoFyxhqT3uKyuxO0sM=; h=Message-ID:Date:Subject:To:Cc:References:From:In-Reply-To: Content-Type:MIME-Version; b=Aq5Sc60Z58bkfp3vD24MN3ZY9Y3xLFUqh4eh+tpmQmibdCTw0kBSbPWPzJTJ2T77UtIoiPHSbS2L7Ye4j+gUAnSXxhzvTtMtZLRt6BkczI3VL2o+cR1qiaMnz/oD87bnClDoKzH0hnfc8uZdMGhgU2QemyFlpEyq865SK8y6Klc= 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=A/9LVXyJ; arc=fail smtp.client-ip=67.231.153.30 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="A/9LVXyJ" Received: from pps.filterd (m0148460.ppops.net [127.0.0.1]) by mx0a-00082601.pphosted.com (8.18.1.11/8.18.1.11) with ESMTP id 5BJJ2VxH4106853; Fri, 19 Dec 2025 13:05:45 -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=Me4j7dfDOObOYbQXC2vG+q12LzDAxUnY1k5/rDMjj1o=; b=A/9LVXyJF5Wb gmnlctgXxD44d1LMhWc/iCSdtM7UNwyrdp6C7jXZRCx3koALRAIQQkyTeuxM39/d lPd7ZK4loVVy/MSCaaOBH3xpW/DSb0f8FHhsl2i1RNqHqlCnEYaD2xqsFV3QaKnK 4AuYMSPmG/zFUrlPqwTnM0aO/nT5h43u1gW9m9eRaW/7RswMYi7j9CJUxSRBgmSW ke49W+HYp7qZjgnqegZ+d76Zpup144eEjfzNrytb0hsw2CxRm+xeLifIlXH0QYSC 1SIPU6j/iKCYc7gDtWUnWvyU56EbXv4R3sQesx0hWAX3Rt28DNghcibJLpHDJkiG ICjh122l1g== Received: from ch1pr05cu001.outbound.protection.outlook.com (mail-northcentralusazon11010031.outbound.protection.outlook.com [52.101.193.31]) by mx0a-00082601.pphosted.com (PPS) with ESMTPS id 4b560tckdg-1 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT); Fri, 19 Dec 2025 13:05:44 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=kVOz1Zk+q0+TWwDIinRa0Q/Rp7eDzYgjqHebSMzPNMHPPCS283ZaZDNvzY1X33oK5UMAjcsawLrUGGci4LIQRhKrqPIyiyvdsIXHRWKfcjy5faY6J1Dk0Q/t6yNEP3l5w8GudkY+63g3pr+t+aL8iSPkRAZJOGJNPUIQNlIr6ZCQ6HS905KhWNIWDmsYJLgSXFAnD32UpZM0UDner3vq/Du/sdingxWgmS4HcsOjJrySj07x1HxlbobXEzgyMgLk+S+5DegyOhvq1CwTSaQbvvZ8y3n7uO9HPYt3A/uYK0mNrLWT7dTcwzm5c47UCbPDbqtjLFdzRFWtfk4RNVrCBg== 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=Me4j7dfDOObOYbQXC2vG+q12LzDAxUnY1k5/rDMjj1o=; b=vIkH+qKMKT5DaPc2hjiU545E7AJNWKT1KuYtKDbib8BswqYN9ndx0kB8siyzbjejkTc3OKvS+3gbQeLuzt8JIq8Rma7eiYZOmZgthI8zQvChLX2Lbx3fcjqtxwWRMYjM47SGHKkcM5Si4kKc53eAW89ytvqgVii/Lr172dIUnAwStmCG49zKHhbhUmVDQN+M/0YoppLDBx04jFLgfqBzwRKFdpJO/QoUG+RzyQ+U4sjBrikLWzW27Lys5BnEtnXXaGBCvGJdAj/Fmz/yN5FKsjdge/JzuC2C4fV0i5izyuPWQmBcG8wCZOl72uYk5P2O8v8+P54nP2lML+dodYBBkw== 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 DM4PR15MB6108.namprd15.prod.outlook.com (2603:10b6:8:190::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9434.8; Fri, 19 Dec 2025 21:05:43 +0000 Received: from LV3PR15MB6455.namprd15.prod.outlook.com ([fe80::8102:bfca:2805:316e]) by LV3PR15MB6455.namprd15.prod.outlook.com ([fe80::8102:bfca:2805:316e%5]) with mapi id 15.20.9434.009; Fri, 19 Dec 2025 21:05:43 +0000 Message-ID: <8dbb505a-8ad8-444e-a1f9-1578d76b8d44@meta.com> Date: Fri, 19 Dec 2025 16:05:33 -0500 User-Agent: Mozilla Thunderbird Subject: Re: Follow-up on Linux-kernel code accessibility To: Theodore Tso , Julia Lawall Cc: "Paul E. McKenney" , Gabriele Paoloni , Steven Rostedt , Kate Stewart , Chuck Wolber , Dmitry Vyukov , Mark Rutland , Thomas Gleixner , Lorenzo Stoakes , 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> From: Chris Mason Content-Language: en-US In-Reply-To: <20251219170945.GA32430@macsyma.lan> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-ClientProxiedBy: MN0PR02CA0019.namprd02.prod.outlook.com (2603:10b6:208:530::34) 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_|DM4PR15MB6108:EE_ X-MS-Office365-Filtering-Correlation-Id: d490df96-c90a-491c-6e33-08de3f425f08 X-FB-Source: Internal X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|376014|7416014|366016|1800799024; X-Microsoft-Antispam-Message-Info: =?utf-8?B?b01ZK1N6NGlmODRBR3cyWU5Uc0ltRzN2UzJvM1BBOHIvU3E4QlVCZFkxeU9m?= =?utf-8?B?N0owMjlma0RBeEZQd2JkbE9rUDhDOWwyQUN3NGhwT0Q1bXdmYmtVeHlmZW05?= =?utf-8?B?YWprK2dubDNkR1VUQWdtYjRjOE9rTit3T00xRmFDN0RnL2V5U1AyUjVmSk9V?= =?utf-8?B?VWtGdHJ4WEFVaXRSa0hXK2VxalJxcTVmTW5mNzZzNitpUFVIdFpTenhtSUI3?= =?utf-8?B?eUJOS1owWFhabVEyUTFkMUtoa3JSbUZ6d0NjdHI4WWhrMTJCa1V4NkE5ZFp1?= =?utf-8?B?SGtnb0N1MjFqbm8vWXlKY004WHpBbWhTV1EwSGtTajh6bW1NckhqRm94Tmsz?= =?utf-8?B?aVZOK0tiR3lDZUJGQmU4aGtOSkZwNldjTmRnVGFBdUxlbE1pMDRlTTNJMEJj?= =?utf-8?B?QUNsQUhPNEQ3cHd3MFp0M0hNSCtGUkNMM2FFTko2bzRMcWN5MlNVaU05ZEhE?= =?utf-8?B?RUJ4S1lTaWJXZ0VuWEY4Wkp4cjRyL29TbjBORjR6RnpRdzU2c2xKRmgzUDJh?= =?utf-8?B?T3RDYmp2TXhVREZraXBzQ2pQOXlwSHNvTU5NM2IxeStNWUhodlgyc2VRZ09Q?= =?utf-8?B?SWY3N2JMMDgwSmpEZi9ybER0d2wzZzl2aHZhZzV3QWRHb0dFRkNzZUxmdWxl?= =?utf-8?B?UmQ4VVF2SmR0MzYwYmZnbDhGYndFckoweFVRUWtNeUZDeU5kQUwxc3pCc2Fj?= =?utf-8?B?d1pUNXZ3ZGZyNUEzWjZBYVhoZiswUEhGNG1YVmFoTHRTbjFPSVhRS3JVc25D?= =?utf-8?B?cWNTK0xlU05qNzduYy9wcld3RXoydnYvRk9oUVBkMEVoUVRRV1M4c3FEZm1a?= =?utf-8?B?ZzBsVWVVVDNSb1BHRndIMHhBdHpCNXM0MVU3bzhFMVEvMVNpU1VhY1cyT0pJ?= =?utf-8?B?bitsVUNjaW1Welpjb0NTQ09naFF0ZURwVGNtbU53TWdlSzV6MHNkcVk3cTJ0?= =?utf-8?B?eW0yYlpnWGtHSzhpUUpPZWJNbFluUDVRSEJ2L0tZenhya2wwbjFYb2ZGSkpi?= =?utf-8?B?UDFKdEVnWS9jZmJGb1VzY2JIbGFWZDg5SXNrMmMzQnUxcStqT3ZCQXhCVE9V?= =?utf-8?B?RVk3Q2s0Vkp3bzdEV3E3clJ3SG5YTkJhcHU5T1pCdnZVS09uNjlVbkdPRnhF?= =?utf-8?B?SkxCOXJHcnBPY2wyWitPczIvWGdCOEthZDBSMjJYODhIUEZydllEZHdpWmlx?= =?utf-8?B?cGx3c2p1eEMzY2xYVzIyeDczTmt1VGZUSVljSHhVWndHclZZZHZZYmdTdUQ1?= =?utf-8?B?bkhuU2xVdDVMVnJwRFZCSHpNbjZvTVZGbEs4TjV4LzJZdGJ2SCs1V1BqWU90?= =?utf-8?B?eHNXdEdocTZSbXlRTW5Gd25wN1NGUDVnOFQ2L1pqSStndThUNHYwdzdMcEQz?= =?utf-8?B?cWNEZEJIemZrLzJNMjhHcWtzdjdQeG1DU3JuR2pUM0NQNWpKaUpXN0hycGpZ?= =?utf-8?B?K3ZRWlVtd2RCZnJpS25jMmRyMTlMbWY4NTIwb2hPSEpqV1c5MlNXVmg2U2pB?= =?utf-8?B?S2VMd0Mya1NVZDE3TXlwdkZQRjdoSXF2ZTUyVlVla0lnVnQrWXBuME5qMUVG?= =?utf-8?B?MUlXZGpseDQzSEZyMVFjYkc2azlHTlZKdTZBN3V0VUY0d1N1clVNRWxud2FJ?= =?utf-8?B?N08xNEVIR2I5aUJkY29QeEJwL1gwYWJyQXd5UHUwY20yblYxOThXcjc5bHpM?= =?utf-8?B?NXdzeDY3aG83YUgxRHlrNHlRaW43ZnZQZUpEWExBZ1Y4VURiUXpUNVplY2Nz?= =?utf-8?B?TkpJcGlvaVhySHBqbVBINHBpWEFKd0hZb1Zab2wzeXVWSm14Q2xCUjZVcEZh?= =?utf-8?B?bEVLNm9jaFNwbGlwOWxXV0tqcnFydU03Umx2ZnJlQVk3NkhEY3ZWcjdGdElY?= =?utf-8?B?d2tmRGhqTlNtZVFuVi9ONHQ1TDhMQ3BVVmpVMVNHNWxCUjRDajM3a1VkVUNu?= =?utf-8?Q?FrOjNmoJwrz+dUncJ5ht1VoKeBPcYkeR?= 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)(7416014)(366016)(1800799024);DIR:OUT;SFP:1101; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?UENTQ0ZMRGdzTHM1SEZucFlJbHpMNGxrdUFjZ05kNklDa1EwWVVEWUJqc3pV?= =?utf-8?B?b2FiL2I0MnNBTk55TVFCQkdWL2xMeWRUbitrSzQyL3QveFhMSCtjWjN2STJX?= =?utf-8?B?QlNJU2h2cHY1bDN0bUZaSVRKelRLYW1oNVJNVGFUN0JKcDZ5YTdqZlpLQ2Fp?= =?utf-8?B?ekE1UHpJZFlra2s2dU9SdW9PVkxJNUVqcm5ESjF5QWdXSk0rdFlLOElmaEQ0?= =?utf-8?B?N3ExcG1POVNvL1cxVjUyclgwM2c2eFRoRDRlZkc5NkFLdjkxaFBQQ0Qxa2NO?= =?utf-8?B?Z1ZmWldtM1VJamRhNnhCcjg0dDRSelp0eUNEd1BaR2NER0ZiS1Fnb29kelBD?= =?utf-8?B?ZmcrR3JLZHpBZlVjbXJNeUUreUt4UFJteEpBeVZkbzA4R29xQy9ZUlpuMDg1?= =?utf-8?B?QXM1M2MycUhVR1BhYU50cUtUaTJIYmRhNzZYN1VtMUt3MmJISEJmUGowZXNW?= =?utf-8?B?dGJiNFhiMnMwZURSNWlMUUxvMXhaZUsrS3VXeGlSZnEwbTVrdnA4RnIzenFC?= =?utf-8?B?aGNNVnVwTVdyM2NjTzJZV2xLelRnRUp6MGRvU1NSZ3JIN3kwa0JBK0NNWFpQ?= =?utf-8?B?STBhZGhmeVN2WHdWV2QwaEJvcmM2YnRydkJjblkyRWRVMURkZGcxQk95NVQ5?= =?utf-8?B?L0lMMlhFeHF2Vzk0a251WTNtc3AydllScXF6TXBtT2Z1Z2tHL3VqZ2VZZ25q?= =?utf-8?B?bjBVVHVSeWlEdUhsaGIreHJDOGN1SkdpbHNUV3drcHpvdFhZalhjdHpqTmxs?= =?utf-8?B?b0JpaFRpa202VUFtT2NGZndPS2h6T2lLV0ZwdDlQTmlkaE1RSDV4NjVVbmJI?= =?utf-8?B?M2dBQXg1YjNKdEdrbWp4T2FicjlHRWZWcisySitJUXRuSlh4bGd0Y2tJMWt0?= =?utf-8?B?eDI0OVphakVjY0xIUDZtS2puOENuSFJnWFdjd3dnRkswVS9ocmZKaVpkdEJH?= =?utf-8?B?MXpBZkdJSE9rQjdkNzQxV2I0ZDVXL2JiYjIyeTVSN3Q1NkNKQVRrWWlnMGxW?= =?utf-8?B?OTZBSngyb0pUR3dBYTdNK0Ezd2kyYzFIRm5mR284cE1QZXI3SU9HbUkrdElh?= =?utf-8?B?UEcwMFgrWmMrblc5N1pGQjQrc2xza3l3Qk5JcEYzdW96WWtWV0UyYVV6UWxq?= =?utf-8?B?RC9BOUZjV1dhWnJvcHVPcjYyNkpLKzlMWHBha3FuUGhhMHVpcExkT2pkNE9O?= =?utf-8?B?aUpzSGZQZEx0amo3cjJrZlE1Nk8zcWg2aEFGdjZOSHhtdXlTLzMxb0NER093?= =?utf-8?B?aW9YamFKTXNpamI2TExjNEFsdHFqRys3LzFCdXY5TnBObkdCNnJSbzNicm5r?= =?utf-8?B?d0Rid0J2MFNySmhMd3JrRkt5YklZczd4MHhJcjc5RkhHMEdpM3NLZ25VRUVs?= =?utf-8?B?SGVWekJoOHBBSGNacGpsbDhWTHhQQXBzTExkTXdqLzZOcDd2dXBwWGRTb2FR?= =?utf-8?B?OWVLQjJlTW1ROHMrNS9XL21YRzY3ejdYQ0hGa0dacGtjN2o4MzNMM3YxNTFR?= =?utf-8?B?TlcvNFNYNnFTdXphTjIvb1h4S3BiSUpSTEl0M1FVMWFLUHQ3UVJOSzNhM21t?= =?utf-8?B?UFR6V1FBNmxWeEtBTVBNbU5ObFJvOU1IejRnM1ROMFRsTmJwaW9UN05qRDYr?= =?utf-8?B?TTZybDZsR0pURTk1RGNGdU5tRDhsS2lRVDc5c3VBdk1WMUFIdWhpMDNiL3Uz?= =?utf-8?B?ZkJWbEV4QStCSW1ZdU1ibEQ0S0tFb2NBNHNmNUF3dVhCTjFZaW9RcURWVVZ0?= =?utf-8?B?ekJUWW0rd0hucHhZU2ZTSGgwSVZuWkNiekg2cUwrS2s2RVhiZEpXMGFyQVZx?= =?utf-8?B?UDF3S0FQcEVsNmswV0pWQkk1dW1mQjV2NDFLMjROWkJySWhHUTI0ZklDMFRn?= =?utf-8?B?NEtLanExNmQyNXl0cGs1SmFtdHlPb0dUNEdLMXVrdG1mVExKdkhWVUsySlI1?= =?utf-8?B?aVh6cFFPbE5vOXJsOWltOXArM0JGUndjeUdNaFNFanhDWWVmOFI0R3N1ajFz?= =?utf-8?B?QkZaVVFGRnFmRlJDcFp4V2hNR28yelBrVnNLQjNnTW40ZUVGckh0N0dKNEJm?= =?utf-8?B?alBkS1hGTytxbXZJWlN5V0p3NW5iZ2oybnRwTGpjU2Q2N3FoeG9MWStXR1RI?= =?utf-8?B?c3JJSkljVzkzdGdIOWFuc092UVovZ3FjVU1ZUWVoRk1pbHFubDZEOWdlcGFM?= =?utf-8?B?L0M4cWxTQkV3WnRJaFVrMjBYSjNBSGpnVXcrenF4Zy9vY0hHRmUzV2htMDFY?= =?utf-8?B?Ykw0WkNUVnorQnJDVXk0WUFOeEhPVlNxSU5GZUpxb1RhWFdYbjlndVhXMktL?= =?utf-8?Q?1OsW4vlTeGdBOzNPJP?= X-OriginatorOrg: meta.com X-MS-Exchange-CrossTenant-Network-Message-Id: d490df96-c90a-491c-6e33-08de3f425f08 X-MS-Exchange-CrossTenant-AuthSource: LV3PR15MB6455.namprd15.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 19 Dec 2025 21:05:42.9908 (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: Q87VTHQ9NpraHn0KIytkW/4BE4bl+APGMWF9h6YQa7TmyyHdRSaRbZyJxTA9ORtE X-MS-Exchange-Transport-CrossTenantHeadersStamped: DM4PR15MB6108 X-Proofpoint-ORIG-GUID: XImQI6WVLnS3hHfK1RvO_s-4dfPo6eaQ X-Proofpoint-Spam-Details-Enc: AW1haW4tMjUxMjE5MDE3NyBTYWx0ZWRfXwj3LTupRpxy5 iqc3bqKTm2rxdDoWDItNfwqrEvUZVpMTVPCcLaY80IT9oh9+7cJdNGPnMAKU+g/hhHPzakmYGl7 wjGR1kCn3cEb4M44W7b3Xx569lV6TJEb6haekd9LD1Nix676/u5IBDHJjTzL3tD4xdv97cCynPK ZMjXutLuZe+m++v3zG8+db7x29gkBjrECH6pg8DQ4ZoUTuiLerIcBEhBwy5mXTK28tGJNH8dVNh o8R849Qs19fslEvcLlR8J464GhhhDEH9u7sb5si4rCsKuBxidldMjEbZJ4F2o4loCWswdh5/H6h d4LFvampVqPmD/6DKQl+riyjwSQav0T1aOKTRO1RrhsrHlhufdvGnB8PWbOW3BAlOq5HRlQZarm /2EXSEBdM5Iyx8Q1m4Aq+88eeXg9pULWoe9maPDumtlpXQT+8/jsEOLTRIKMcBazHKkb3Nv0lC4 WCEnEJHt5G6UH1J8+9A== X-Proofpoint-GUID: XImQI6WVLnS3hHfK1RvO_s-4dfPo6eaQ X-Authority-Analysis: v=2.4 cv=CMInnBrD c=1 sm=1 tr=0 ts=6945be28 cx=c_pps a=JYb6bdnaVjS17BdPGRuFtw==:117 a=6eWqkTHjU83fiwn7nKZWdM+Sl24=:19 a=z/mQ4Ysz8XfWz/Q5cLBRGdckG28=:19 a=lCpzRmAYbLLaTzLvsPZ7Mbvzbb8=:19 a=xqWC_Br6kY4A:10 a=IkcTkHD0fZMA:10 a=wP3pNCr1ah4A:10 a=VkNPw1HP01LnGYTKEx00:22 a=BNyEHHa63AOyHCBZ_4MA:9 a=QEXdDO2ut3YA:10 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=2025-12-19_07,2025-12-19_02,2025-10-01_01 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