Hardly a better option, the Raspberry Pi OS *is* Linux. It's a lightweight version of Debian.

Technology, data science and programming. LinkedIn: https://www.linkedin.com/in/alan-jones-032699100