Ja, das mag wohl der Hauptgrund gewesen sein. Aber der Raspberry wäre ja auch ein mögliches Endgerät.
Welche wäre denn dann für einen ARMen-Server die zu präferierende Distri? Debian ARM oder ein BSD?
Aus Bequemlichkeit würde ich Debian nehmen Einfach weil es das als fertiges Image schon gibt und man so automatisiert auch seinen SSH Key direkt konfiguriert bekommt. Auch passt dann direkt die Netzwerkkonfiguration (ink. IPv6). Wenn der Aufwand keine Rolle spielt, kann ich auch Fedora wärmstens empfehlen. Sehr stabil und zuverlässig (sowohl amd64 als auch aarch64). Darauf setze ich z.B. bei meinen Systemen, die wirklich wichtig sind (z.B. Mailserver).