The de facto standard GNU/Linux distribution for the Raspberry Pi is without
any doubt Raspbian or Raspbian Lite,
which is a Debian-based distribution optimized for the Broadcom SoC BCM283X.
But another really interesting ARM distribution for the RPi is Arch Linux
ARM [1].
I was surprised to learn how …