FWIW, dies läuft auf einer Arch Linux ARM-Installation, die von einem SATA startet, wo ich die SD-Karte vom RPi eingesteckt habe. Die ursprüngliche 16-GB-Karte wurde mit einem Debian-Image von Windows abgebildet. Ich hatte eine SD-Karte verwendet, die ich zufällig zur Hand hatte, aber ich möchte...