The Raspberry Pi 5 is running a binary distribution of Debian GNU/Linux on Raspberry Pi 5 as found at https://www.raspberrypi.com/software/operating-systems/# ...