Explicitly note MariaDB as alternative
Summary:
MariaDB can be used as an alternative of MySQL since years. MariaDB has better performance than MySQL [1][2] and is default alias for mysql-server in many linux distros. Thus, we need to clearly mention MariaDB as an alternative, add minimum required version, etc.
[1] https://smalldatum.blogspot.com/2024/04/sysbench-on-small-server-mariadb-and.html
[2] https://smalldatum.blogspot.com/2024/04/sysbench-on-less-small-server-mariadb.html
Test Plan:
Test on MariaDB 10.5.29 (e.g. Debian bullseye).
Also test on MariaDB 10.11.11 (e.g. Debian bookworm).
Reviewers: O1 Blessed Committers, valerio.bozzolan
Reviewed By: O1 Blessed Committers, valerio.bozzolan
Subscribers: mainframe98, aklapper, tobiaswiese, valerio.bozzolan, Matthew, Cigaryno
Differential Revision: https://we.phorge.it/D26082