seL4 Summit 2022
2022-11-01 | Presentation | By Yuning Liang

We shared some progress about making seL4 iso 26262 compliant.
As seL4 moves onto automotive applications, having industry standards will be a big step forward for mass adoption. Iso 26262 ASIL-D is well known and established standard for the automotive software supply chain. And MISRA C standard is well suited to making C-language-written software compliant with Iso 26262 ASIL-D standard.