Its now officially called Raspberry Pi OS (formerly Raspbian) and is a Debian-based operating system for Raspberry Pi.Read More...