Looks like they're using Automotive Grade Linux (https://www.automotivelinux.org/ https://www.automotivelinux.org/) and from their Members page looks like a lot

Looks like they're using Automotive Grade Linux (https://www.automotivelinux.org/ https://www.automotivelinux.org/) and from their Members page looks like a lot of car manufacturers are supporting it. AGL looks interesting, specially since Raspberry Pi 2/3 is part of the supported hardware.