Building an Open-Source Ecosystem for Auto Operating System
2021-11-25 | Presentation | By Xcalibyte and seL4

On 18th November, Xcalibyte CEO Yuning Liang, seL4 Foundation Chairman Gernot Heiser, and CEO June Andronick participated in a webinar held at Horizon Beijing office. During the webinar, Mr.Liang introduced the current status of the vehicle operating system and why the seL4 microkernel is the most preferred vehicle operating system, while Mr. Heiser and Ms. Andronick reviewed the features and functions of seL4, they also shared and discussed the implementation of formal verification technology.