Xen Project's Progress Toward Safety Certification - Stefano Stabellini, AMD

Xen Project's Progress Toward Safety Certification - Stefano Stabellini, AMD

Xen Project is a static partitioning hypervisor for embedded and automotive. Xen ensures strict isolation between domains, ensuring that the execution of one domain remains unaffected by others. As one of the most critical components in the system, Xen is an ideal candidate for the highest levels of safety certification. In 2023, AMD, together with the Xen Community, kicked off a series of activities to make Xen safety-certifiable according to the ISO 26262 automotive standard and the IEC 61508 industrial standard, spanning AMD x86 and ARM architectures. In only nine months, we have integrated 80% of the relevant MISRA C rules into the Xen coding style and resolved numerous MISRA C violations. We introduced MISRA C checkers to the upstream Xen CI loop to prevent new violations from entering the codebase. Additionally, we have laid the foundation of the testing infrastructure and started drafting safety requirements. This presentation will delve into the specifics of our journey with Xen towards safety certifiability. We'll illustrate the comprehensive community plan for making Xen safety-certifiable, and explore the exciting developments anticipated for 2024.