$ 0 0 Red Hat's newest enterprise Linux takes one giant step forward to its release and shifts from MySQL to MariaDB for its database management system needs.