KernKonzept talks Open-Source Automobile Safety: EB Corbo and the L4Re microhypervisor:

• Renesas R-Car3 H3 Platform
• Virtualized Cluster and IVI
• Based on AGL
• Graphic Virtualization with Imagination’s PowerVR Graphics