Das freie Betriebssystem Raspberry Pi OS – ehemals Raspbian – für Mini-PCs und Einplatinencomputer wie den Raspberry Pi 4 basiert auf Debian GNU/Linux und setzt jetzt erstmals auf das aktuelle Debian 11 („Bullseye“). Mit dem Wechsel auf das neue Fundament wurden auch alle Anwendungen auf das GUI-Toolkit GTK3 umgestellt.
