Die freie Linux-Distribution Raspberry Pi OS – ehemals Raspbian – für Mini-PCs, Maker und Einplatinencomputer wie den Raspberry Pi 4 und den Raspberry Pi 400, basiert auf Debian 11 („Bullseye“) und setzt jetzt auch erstmals auf den aktuellsten Betriebssystemkern Linux 5.15 LTS sowie ein experimentelles Wayland-Backend.