Comment by ObsoleteNerd

The offical Raspberry Pi distro of Linux is already called “Raspberry Pi OS”:

https://www.raspberrypi.org/downloads/raspberry-pi-os/