英伟达摸索将 Linux 内核用于 ASIL-B 级汽车安然场景

英伟达正试图为汽车、机械人等安然关键场景打造可知足功能安然认证请求的“安然版”Linux内核，并将当前重点放在知足汽车功能安然标准中的 ASIL-B 等级上。

英伟达工程师 Igor Stoppa 本月早些时刻在 Linux Plumbers Conference（LPC）上揭橥演讲，直指上游 Linux 内核在安然关键应用中的不足，以及环绕 ASIL 认证所面对的技巧与流程挑衅。

演讲 PPT：https://lpc.events/event/19/contributions/2132/attachments/1905/4076/LPC2025 - Igor Stoppa.pdf

Stoppa 在演讲摘要中强调，英伟达选择的路线克意避免把包袱转嫁给上游内核保护者和开辟者，欲望他们不必被迫成为功能安然专家，也不欲望内核代码被大年夜量冗长的行动解释所“拖累”。 他表示，目标是在不干扰既有上游开辟流程的前提下，实现 Linux 在安然应用处景中的可验证安然性，是以欲望借此开启一场关于“若何与上游共存”的评论辩论。

在功能安然等级上，英伟达今朝聚焦于知足汽车行业的 ASIL-B 完全性需求，这也是其环绕 Linux 内核安然性的优先级地点。 为此，英伟达已经在内核相干应用区域做出一系列调剂，以便经由过程 ASIL-B 认证，同时尽量避免过于“入侵式”的修改，降低对主线代码的影响。

英伟达的策略之一，是将安然请求局限在内核中真正须要相符安然标准的部分，而不是为全部宏大年夜的 Linux 代码库套上安然合规的枷锁。 这种做法既欲望在将来具备把相干代码上游归并的可能，又要照顾到很多上游开辟者对安然标准本身并不关怀、也不肯承担额外流程包袱的实际。

对 Linux 在安然关键场景可行性有兴趣的开辟者和业界人士，今朝可以经由过程大年夜会公开的 PDF 幻灯片以及 LPC 2025 的完全视频演讲，进一步懂得英伟达的技巧路径和思路。

 演讲中具体介绍了英伟达如安在不重塑社区治理模式的情况下，引入可验证安然机制，以适配汽车电子和机械人等高请求应用。