Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
This conference talk explores the progress made toward safety certification for the Xen hypervisor, which has become the leading open-source hypervisor in the automotive industry. Learn about the decade-long community efforts that have developed critical features like Dom0less, Cache Coloring and Real-Time, Virtio with Grants, and Cortex-R52/R82 support—all essential for powering next-generation vehicles. Discover how Xen's primary role as an isolation enforcer between domains makes it suitable for the highest levels of safety certification. The presentation details AMD's 2023 initiatives, in collaboration with the Xen community, to make Xen safety-certifiable according to ISO 26262 automotive and IEC 61508 industrial standards for both AMD x86 and ARM architectures. Gain insights into recent achievements, including MISRA C rule integration into Xen coding style, resolution of MISRA C violations, implementation of MISRA C checkers in upstream CI, development of testing infrastructure, and the upstreaming of safety requirements. The talk concludes with an outline of the community's comprehensive certification plan and key developments expected in 2025.
