The AGL distribution is more like an SDK, as it's a fork of Yocto embedded Linux which focusses on building/cross-compiling to a specified target architecture a

The AGL distribution is more like an SDK, as it's a fork of Yocto embedded Linux which focusses on building/cross-compiling to a specified target architecture and creating the firmware images. I guess the difference of AGL is that they implemented kernel mods so that they can guarantee ASIL-A/B/C/D spec compliant behavior which was the deal breaker when vendors were considering an RT Linux kernel over e.g. QNX (which focusses heavily on ISO 26262 compliance).