Das freie Betriebssystem Raspberry Pi OS – ehemals Raspbian – für Mini-PCs und Einplatinencomputer wie den Raspberry Pi Zero 2, Raspberry Pi 3 und Raspberry Pi 4 basiert auf Debian GNU/Linux und bietet auf Basis des aktuellen Debian 11 jetzt auch erstmals einen offiziellen 64-Bit-Support für Systems-on-a-Chip auf ARM-Basis.