There was a story recently that Red Hat would replace MySQL with MariaDB in the next version of Red Hat Enterprise Linux. Actually, Red Hat isn’t saying yet which DBMS, or any other specific program, will be shipping in RHEL 7.
Read more at Enterprise Open Source Toolkit
