the L4Re derivative (open source) is running in every single id.X Volkswagen car in the central "icas1" ECU, carrying Linux and other guests. https://www.kernk

the L4Re derivative (open source) is running in every single id.X Volkswagen car in the central "icas1" ECU, carrying Linux and other guests. https://www.kernkonzept.com/kk_events/elektrobit-advances-automotive-safety-with-l4re/ https://www.kernkonzept.com/kk_events/elektrobit-advances-au... afaics the L4Re kernel also is part of Elektrobit Safe Linux.