Raspbian - AshokBhat/notes GitHub Wiki
Raspberry Pi OS
- Formerly known as Raspbian
- A Debian-based computer operating system for Raspberry Pi
- Highly optimized for the Raspberry Pi line's low-performance ARM CPUs.
Raspberry Pi OS (32-bit)
- Officially provided by the Raspberry Pi Foundation since 2015
Raspberry Pi OS (64-bit)
- In Beta
- Only installable on the Pi 3 and Pi 4 devices
- Issues at https://github.com/raspberrypi/Raspberry-Pi-OS-64bit/issues
Toolchain
- Prebuilt Windows Cross Toolchain: https://gnutoolchains.com/raspberry/
- Distro also seems to have GNU toolchain.