From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mx0b-00069f02.pphosted.com (mx0b-00069f02.pphosted.com [205.220.177.32]) (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 3AD2C35CBCA for ; Tue, 6 Jan 2026 18:09:36 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=fail smtp.client-ip=205.220.177.32 ARC-Seal:i=2; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1767722977; cv=fail; b=X6nNifFI4GVov/JLC2+d8YzFVt3YDU2dgKzKe2ALRBKpdQIh5OgYNV/07Fq34MoFO4maHo1mRFAC8g4Ay9+w5oubKsgvUiaxfgfTMcrqHF95zNMx3qhnR9cGJjpfoCTiuJtJMVeidJzhn3bhHSnTlPTQZeCEhVol9dL2udG42yE= ARC-Message-Signature:i=2; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1767722977; c=relaxed/simple; bh=9AKV3NTgj/J9Lkvf+WSdkHWGej7Kjav0xbjl2FxNePk=; h=Date:From:To:Cc:Subject:Message-ID:References:Content-Type: Content-Disposition:In-Reply-To:MIME-Version; b=eKYLUu2RjuUzGZM3ysCGNYkCKMmv8vzPrQYM5rRctSssRcIcl/IdRebNgvtUV7qFXHqG7EXmlwga6IaHkpMElNH8O+x7G3fd3hgYPEjtghYdaZrH/ALsTw9SBEg5hap5uejHXwaxdEYq+b6chgX6QqyRusG/0fKPgqR/DaMtNkk= ARC-Authentication-Results:i=2; smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=oracle.com; spf=pass smtp.mailfrom=oracle.com; dkim=pass (2048-bit key) header.d=oracle.com header.i=@oracle.com header.b=pSt61Nj6; dkim=pass (1024-bit key) header.d=oracle.onmicrosoft.com header.i=@oracle.onmicrosoft.com header.b=rDSD7zjb; arc=fail smtp.client-ip=205.220.177.32 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=oracle.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=oracle.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=oracle.com header.i=@oracle.com header.b="pSt61Nj6"; dkim=pass (1024-bit key) header.d=oracle.onmicrosoft.com header.i=@oracle.onmicrosoft.com header.b="rDSD7zjb" Received: from pps.filterd (m0333520.ppops.net [127.0.0.1]) by mx0b-00069f02.pphosted.com (8.18.1.11/8.18.1.11) with ESMTP id 606Gf1JC518376; Tue, 6 Jan 2026 18:08:44 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=cc :content-type:date:from:in-reply-to:message-id:mime-version :references:subject:to; s=corp-2025-04-25; bh=56nnwUT6heGdVXFehe vKWkEITSoGJ0ICpO749/MsfcM=; b=pSt61Nj69hRaxBCSQ06ogpwkECQtGcMhgg DBBQrB69EE8eD/S8DSHGpHlhgWj1+yDwkvQOQtW0bVWBB5NsVQJl+Vl2zYwQlqHm a5vxwCllL1hQTZ8MR+C/8+ywZ+HugJPrz8sfhJ1xpU2nmKf99DKKLLumWtMVA2m/ gGqy5ijo5EAfnaMFmVzVrcCcY8KPn75Pe/rOneOS6BxMm/YKpfd7vsSZ0RBl2Cc8 1XaX5nqpwj379Po0tk5DIuKrrptI+JOkz1xheb27ROnhYA3a26PfrgurvIgSARw4 6CeFfM8ejHh4GnDbwHnFFNe5o1lInQ/O5YgxiVsZg/SD1vy5GfPA== Received: from iadpaimrmta03.imrmtpd1.prodappiadaev1.oraclevcn.com (iadpaimrmta03.appoci.oracle.com [130.35.103.27]) by mx0b-00069f02.pphosted.com (PPS) with ESMTPS id 4bh64hg61k-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Tue, 06 Jan 2026 18:08:43 +0000 (GMT) Received: from pps.filterd (iadpaimrmta03.imrmtpd1.prodappiadaev1.oraclevcn.com [127.0.0.1]) by iadpaimrmta03.imrmtpd1.prodappiadaev1.oraclevcn.com (8.18.1.2/8.18.1.2) with ESMTP id 606GPSeD026313; Tue, 6 Jan 2026 18:08:43 GMT Received: from cy3pr05cu001.outbound.protection.outlook.com (mail-westcentralusazon11013034.outbound.protection.outlook.com [40.93.201.34]) by iadpaimrmta03.imrmtpd1.prodappiadaev1.oraclevcn.com (PPS) with ESMTPS id 4besjk5vpn-2 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Tue, 06 Jan 2026 18:08:43 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=Ungw31jul4RJ48MckMH8r8zG9dj8yQe1xDe2tPwwHyde8MCYn9BIEjOBcTuM+IiyVcBREPottS/m2taAqqnumEnEQbXzOAkmIZBuqSSR3ZtMDo7s/YR79f984b0Bj6IU4+pNYAxou0CfeOUKLhq0mTXTr9yIYrBb37Rq0l5GDz3OZ08N6tdyzz8DBYBntkVF2BxCTiTFfjYw2PYDbtWbr4PPEIXBJXv8a0D9DDK24f/QGxmdVPcGu7clhJhzmiV4coCeZ/mnXlwjxBr3zNHwLHPuj1fCKaZayt50olNcFoho3u6hBbeSVPVpseyqSalhpbt+vaQG/3seW085fXn5JQ== 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=56nnwUT6heGdVXFehevKWkEITSoGJ0ICpO749/MsfcM=; b=pn9E4NJfq0brJ8fin9NYL99VcDnohdEFisLcMG7U+kgtVVp1qZ7TcII11UfJJ9HqQ4JxQ0Fvruk1xwILgVITO2MC5zh4fQ1ho5PLrjDI6vHGXI8LmP3RbtsMZ3RtT4opvEzqqopHn+dX9kystTO0BGJrfD5mQplVxEW4wwkg16sjeRfeGnNpqZWmLiUeZ4JRukkt7meb1MdASZCNIamG4BPbB+Tfews/sbH/idF2zMcpS6bNUNLKe7KFCb7R3c95MjS4CPma+IDBKfq1/mvTyUGIjwBuVimA0ohy5kK5HT9p+m8trpG9VWg0utzLicmDTXxmvmKnJC9vmfM2QCCyNQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=oracle.com; dmarc=pass action=none header.from=oracle.com; dkim=pass header.d=oracle.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.onmicrosoft.com; s=selector2-oracle-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=56nnwUT6heGdVXFehevKWkEITSoGJ0ICpO749/MsfcM=; b=rDSD7zjbmJwyWtWXVSNjrAH4wDf3Wojlt0TQ/4CkASdCGGeQotoNEAI6xO5YClz5zMwrAbzRDdCaE3OW8INzm+CfNZ5w8F28HJ/0Hyipxv1wfwNRgKXcRc8va6tN1C6QcG00eHLSnt+XR/iHvTjKAfm8LrgAVDt44SMl9G3rfhE= Received: from DM4PR10MB8218.namprd10.prod.outlook.com (2603:10b6:8:1cc::16) by BN0PR10MB4968.namprd10.prod.outlook.com (2603:10b6:408:12c::24) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9499.2; Tue, 6 Jan 2026 18:08:36 +0000 Received: from DM4PR10MB8218.namprd10.prod.outlook.com ([fe80::f3ea:674e:7f2e:b711]) by DM4PR10MB8218.namprd10.prod.outlook.com ([fe80::f3ea:674e:7f2e:b711%6]) with mapi id 15.20.9478.004; Tue, 6 Jan 2026 18:08:35 +0000 Date: Tue, 6 Jan 2026 18:08:38 +0000 From: Lorenzo Stoakes To: Chris Mason 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 Subject: Re: Follow-up on Linux-kernel code accessibility Message-ID: <2e7e11cc-907c-47b2-8308-342b52e784c0@lucifer.local> 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> Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <8dbb505a-8ad8-444e-a1f9-1578d76b8d44@meta.com> X-ClientProxiedBy: LO4P265CA0283.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:38f::14) To DM4PR10MB8218.namprd10.prod.outlook.com (2603:10b6:8:1cc::16) 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: DM4PR10MB8218:EE_|BN0PR10MB4968:EE_ X-MS-Office365-Filtering-Correlation-Id: 58da9b0e-2af4-4c60-16f6-08de4d4e9c30 X-LD-Processed: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b,ExtAddr X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|7416014|376014|366016|1800799024; X-Microsoft-Antispam-Message-Info: =?us-ascii?Q?a9R88wAq0dwSeiLP3l1BJ8IgQc3Dj74Qj770z0O3fj0UFXknXPjJws4kOJaK?= =?us-ascii?Q?unmlH+mDswettMBb16Zc0MJczHdRhmId2YkliDyHrcOOYhJ6/CK2e0LjR45O?= =?us-ascii?Q?uYubQHekDlJvmlvZ5+sfDsXHDxsSvl5apGBsVFDSktIpc/tDM9OvpDebXzM6?= =?us-ascii?Q?iApYEag0GcnOUUEQxLyd5+VOOjc5ZlW8A881dNcn6YL5ELbSFkMpr1lPR6E2?= =?us-ascii?Q?XcW1hVHj1DfNkNmp0HZYO8LnUni6An75MqGyk4IqgHFJ28++9Cldkt1sRgd6?= =?us-ascii?Q?qsHFgnW+0kfCjqeiUNlRJtl5pHt6hharWgFFpO+40JwPdUV+UdQKH9/8jEYW?= =?us-ascii?Q?7htI+MVT3uAaqeCZGIyZbWMx0+UJBKp6CnPZWKZK2QNwsJO1kwbuzJH+n53Q?= =?us-ascii?Q?AtaLCBn82GAKbm/QhIiDaSq7uCymGXETV1aLn3M4H/dRR3nmUYs7q9gJXi0s?= =?us-ascii?Q?xJq1tXKJfCNUDSEgH0Z+d3q3KI5FU8/HNwNfV6LusA15Yz+0HiMWcc0VcWu9?= =?us-ascii?Q?C5xqsIyUu1wpf/kzobKDWpBB5pPvS4fx5tYs2ikaN8VRBBtVWnEqBK0EyXiY?= =?us-ascii?Q?oeWc1Joz0ZZ6shzzcxD7xuFF3O4xqm+T7RQOpLV82kfJkIthHRt9BjXSZoKB?= =?us-ascii?Q?0WsLXJHpM1b83oAXF534O4Z769QOEOuFouJqzRMss1j+GY/U2XWnDUPPijUe?= =?us-ascii?Q?gniWjPQjzG6Z4n4oW9XBdJotsIba4ia+/rg86TwjS2m9vcH6l6BHWhTcCyKV?= =?us-ascii?Q?XKma96L8pijktKeGsqVl3GpPR3g40c46yeAbCgge4b97Ps0uV2/Jm33X5vOt?= =?us-ascii?Q?mdKSlAhfjJNElUlkL/v3YX2MaVl2SXdLF1I5FqafNe6cIMX0wJxp39E/7POh?= =?us-ascii?Q?y1w02V4kF7qZgpRM8fTrZ5tZuAepWu1+Wz5YpqCQoutJTYZqRgQZHs0T2tlP?= =?us-ascii?Q?XIzhZnnS/t69sLb4/kai0pErAl+mbqgmwjiPlvIn0wxtwV5WIpJlferYlQ3Z?= =?us-ascii?Q?rU7sEOisnwD1mVm7j+ivBmU132S2tXt6fDt0DTQTddWrRR+6x1GPAcYy997r?= =?us-ascii?Q?cDjyVNchaNm9yF85H5TTHz9sDNQj1A+DOz0Dx/bqfEC2GO8POOi2C9g9lD+M?= =?us-ascii?Q?FqyT6KmzVXudHr+zCZYyzVqOqKmZ4F5ydxFH+jFzrNsxauIqGVKL6Umd2T6z?= =?us-ascii?Q?W1nMQSPzvrdqqO4Rrg1CokwSh6dh/HdERRoacUZ2LB/FA2iV2AfzHgdsF3QS?= =?us-ascii?Q?+5Ekg4tLDQFpemqhTZPtpIFiNbfezuqFqEbzxVgp9Nl0UC8uON7zcWOqEfTI?= =?us-ascii?Q?oBwKSUjNYBPsdFS0nVyYo7COnMXxz+HHE1zTiR7mXsTq5KIuwffA+s0vFEVj?= =?us-ascii?Q?r0QDWa7ttUrPmoX52+mkJkn5628kwkV9yDdJpU3Qqrsesd06SzwamkSmyxvI?= =?us-ascii?Q?3KUwrg72RuT4SSudURPtH3+XwsB5eCCk?= X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:DM4PR10MB8218.namprd10.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230040)(7416014)(376014)(366016)(1800799024);DIR:OUT;SFP:1101; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?CkjVQ0pYbmGUvpXeR9wYA1pm1nNbt6ogI6AYGsThyPiGEoeO+ct6dCbyjGMl?= =?us-ascii?Q?/Ha8ncpZoFzoLboCfSm1q8K5uEPyuprg7tmR+f6GhO0CQH15Q69JM8HalOmW?= =?us-ascii?Q?tzcxbb+S/pAs4VYx5ib8MdMxtQaaCXQI/o8qRJUJPqSzlU4sOY6tFaqoKds3?= =?us-ascii?Q?Ebpvc1d+VLlEJyzBnPNMt267V3NZ4Mf23qcRz4fdJQ3iOEJUspgegnC5Q2sX?= =?us-ascii?Q?9ny5i79Dvs2UCsi57pN0vrVbrfT1BpkKPOx4bdtOEvuWoT+GzbihFxem51OE?= =?us-ascii?Q?5RTueJEQTWMtUV8MDI7qok7v8XauLrDS3FdWbHdRcGk1WDkeY6v9caJbanID?= =?us-ascii?Q?xmfMwBZbzT2mWRrHa1krI5u6WY8JXLXs8KRJihh4hZ3bS0zeRdQdMKk5jmin?= =?us-ascii?Q?fGioJOUHCF5XiZb4mbtesxKkXxWl00LXRi7E+GtoPCxKtBs0OFq3ZfXfd9h/?= =?us-ascii?Q?md0Ra4cZ/l9Za2CMACMswl9q+n/e3I+zk1XkCASQu1FguAbq5Qjez2CiZAFl?= =?us-ascii?Q?doJ3kqF8zToVKSLdd+xaLlOspRfDUEzhRVxxkpes3eMbKZX+zGGggFpOWE80?= =?us-ascii?Q?T/7mFCI6M+UFEFvHT9l/3H+0v4ytNJC1P8THBXux8kC5m2v1EQiG5Zylvz21?= =?us-ascii?Q?UzrJ3c+clAVgRZwBsBsadHmmrpJp2ioThUKsQP7Orxd1G4lVKT3nnok1nI6n?= =?us-ascii?Q?jxxTwv8RiSKf0R9jb6/XtgxMdEpnXCg6aY+VV8QE7XyP/iXfkgG/UlFv5p3C?= =?us-ascii?Q?GqLom30n68ZMCdswvPMfgi2xWiaL0qU+rSKevN/Y1SJ8HA4MDhGcLk++GoAp?= =?us-ascii?Q?0nyXXCStS7UYu5gdHHXE35ChRu/6JLg8xlLrmHfBb2DHfLpPm2qQm/6xCnza?= =?us-ascii?Q?pkCtyY42DL7I8yzi0Woa8tqoOOnbCVyUo580APhWIVRCQQI3o9cNqSEndKTN?= =?us-ascii?Q?QlB9otX/a0JAFZWyNpSUgxHW/VJg4U+q2p7NCXXodtPwPAeo3HFSEmvQZI6x?= =?us-ascii?Q?CbNAvMQaz4P5xz2fqqOtgHPUaIh1/HZKj7o9Hhrd5j6JkU1yIgpHmd2hgzqv?= =?us-ascii?Q?2zoP4wsKEHVdF5I1TOygjtUD+7MZvB0wwZ6vS0WPadbwq9K3XMX0lHKwP7d7?= =?us-ascii?Q?sNejeGT9rMSG1Vm0tQdLrAQUE/+DpH/gWoNz7jyC7YQ1XNpqpfWCIYHnT16z?= =?us-ascii?Q?6PgWo1QEsy9Xkn9l3vBtpyKLa7A5rhnyod2KnD0aeLcszrNYbC6h3velkYY2?= =?us-ascii?Q?1xEdkk1iTKF80a7dBGm+6D/jjVALIKdIALOO4k7ELEGUCbPNGlTplTm5od1X?= =?us-ascii?Q?v7EDn3aKoMLkBDIsyhiCCdPOM+VGNpQ2C7UNPQVxBQ5CqW0YwTmefl375x/f?= =?us-ascii?Q?tkGeJ3Awa64L01mAtWQVa4uHqOLU6KYWletmI5kXUmBWQTEZsH3ynV9W9r/V?= =?us-ascii?Q?UW0ZBAJeuv2j2XV5DcDA5NEViS4deC8DHHifwmdw3or/2hNvKlj8XiJG+XiH?= =?us-ascii?Q?hDX+ggXvj0ggOaWFJA1+6v5//VXhaCT5XEVQi1Or3+p0bIluvUCfF5Bsj2Xq?= =?us-ascii?Q?HBVTpbGRQIIzPbMRpmzwc3r16F1Mh5h+4FDz/LhlMD3dqgJvIUtVHS7rlAv0?= =?us-ascii?Q?8HX+zOkmJS6IswtA6WXT/jNn2TP4GHySksrPm3C6ARUk6osIr51yO9Yz8wFl?= =?us-ascii?Q?6gc/C9Ee6GL+IYDfMeWq2FjST/jdP3gTZg+imz0Vrq/PoK9SWaLl5gQzR3bf?= =?us-ascii?Q?hED+MaACwuoFyn3NkaZSVBWkL1HDe+c=3D?= X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: DpCt6q/F11eWRqK4MaMMkCbIlhVkv4f/K/OuqUSZM1OLK0IFYXmEN0Ph9MqM/cQlLquxCCIAAsreNXpzwMkqXYrzrHoTom2a6Y/M1faQqYIS+MSDDlFViUVWdPynkcC1nPLiN5nPhad+vueDouoWTERk5MmkuqhIqHlZEuGkS/M+JcbVhKz2fHNTFSjLVsB8tP2BCuBj5noXNyfaH7bQTQ2Ccur2xOphK6myENAXcjuy8npeQzPBVUQ2jdO3zW/Uv2O+wttKwOYhP1fLbNpPRBD01aCLU6q0Gg2IJrlKBeWDWtPDwAsNcvhztEhRnUqDfKy2gipgR4PN7NKwb4m2Yv5PerYvBBJqvwyovvVpqrBuCsVYfsk6Q6RvH1yrZhQxqsHplhWiNxHMcUF73hpcdT4MdGE9cvOP3kTE2cO042nvezK+rN5nuWsYiAFhNBz6t3CF5lmbGactYu0zvJyQcMtkI0NGKdXbCIQf2bJYE5T2conHu+lVFbXjx4iulY0dt3focLrLWKq2+7CmtBF01FNr9QA+Vot5rTIfPx2E/Ba2kbvAJFU2tVB+03WxW0nRY8pvE+rD0lDP+cizDOFin9f9+i6h7MTaVi/Xe4yVp1o= X-OriginatorOrg: oracle.com X-MS-Exchange-CrossTenant-Network-Message-Id: 58da9b0e-2af4-4c60-16f6-08de4d4e9c30 X-MS-Exchange-CrossTenant-AuthSource: DM4PR10MB8218.namprd10.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 06 Jan 2026 18:08:35.7295 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: DWWKjqpmDi6lbECFp0YodBj5c4wXAH5rswwN7de96AJbLzZOmWMLDlCcqF1aw2BViFWiBqQX3vDEL7yWRhbClpVJAeNXTZxlNdz8UlVY9uE= X-MS-Exchange-Transport-CrossTenantHeadersStamped: BN0PR10MB4968 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-06_01,2026-01-06_01,2025-10-01_01 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 adultscore=0 bulkscore=0 malwarescore=0 spamscore=0 suspectscore=0 mlxscore=0 mlxlogscore=999 phishscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2512120000 definitions=main-2601060157 X-Proofpoint-Spam-Details-Enc: AW1haW4tMjYwMTA2MDE1NyBTYWx0ZWRfX38IKUUQ1U1M/ PEhlKy431BkG6+kyefSutx3XVUNMEXCzBOeauL2v8P3ri1WAVD2K7EzcpwFdttE6CJnd7xAI1Lb xt7tTC6eHEzWHcFKtQM8cbzXHZXP6KDhtJPW0Aeih2UdvAly1JY6tdEcnWB7/nP6XcHATUscpzJ UYo/U+CpiW0+ZePcU4k4hoRhHNuby5PD2CjYIVfkbJVaSWnP1mY7S8Vq+Qngq8ab++FImb1AIZ9 jhXTD3VoTm3uA+sOH4Mj9xOi7z2NK9BgRWyxcm02DmIbygd4CaeOZYQk61/6wuLXfglLKxhVIzJ dW+cAs0nDam/hhAVPySsuQgpVhGPDhZ3CsbkpAfJJDZydhsmquzlQCwtFRdYrc9qqZCBolHiiRZ LS6B9BBfk15HYtdJpWMEz02pUgMfBlW7lOPCVxvPJtW48BQT6On2lStPyyjY1wKYqcAj0W5CrP7 a71T4uedwq4GzTuC+OrNNE08Za3x9uJOZyADcHF4= X-Proofpoint-GUID: 7owE2yHAG3fxiMvS8_tteFtczBgTFATF X-Proofpoint-ORIG-GUID: 7owE2yHAG3fxiMvS8_tteFtczBgTFATF X-Authority-Analysis: v=2.4 cv=BrSQAIX5 c=1 sm=1 tr=0 ts=695d4fab b=1 cx=c_pps a=qoll8+KPOyaMroiJ2sR5sw==:117 a=qoll8+KPOyaMroiJ2sR5sw==:17 a=6eWqkTHjU83fiwn7nKZWdM+Sl24=:19 a=z/mQ4Ysz8XfWz/Q5cLBRGdckG28=:19 a=lCpzRmAYbLLaTzLvsPZ7Mbvzbb8=:19 a=xqWC_Br6kY4A:10 a=kj9zAlcOel0A:10 a=vUbySO9Y5rIA:10 a=GoEa3M9JfhUA:10 a=VkNPw1HP01LnGYTKEx00:22 a=Mf14TmkUqUD9Qy7QJFYA:9 a=CjuIK1q_8ugA:10 cc=ntf awl=host:12110 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. Thanks for the work you're doing on review by the way Chris! Is promising :) Cheers, Lorenzo