Original link: Red Hat Pushes Safety-Certified Linux Into Automotive Sector / EETimes.
RHEL sales must be dropping because companies are moving from on-prem RHEL to cloud non-RHEL, so it makes sense for Redhat/IBM to look for a new non-cloud market.