Hallo,
falls jemand Interesse hat:
Ich habe ein How-To gefunden, mit dem sich ein debian stretch für ARM erstellen lässt:
https://michaelfranzl.com/2016/10/31/raspberry-pi-debian-stretch/Ich habe sowohl für 32- als auch für 64-bit ein boot-fähiges über ssh erreichbares debian stretch System erstellen können.
Worüber ich Anfangs gestolpert bin: Man sollte vor Einrichten des proxy cache unbedingt überprüfen, ob das eingestellte debian repository auch armhf und arm64 unterstützt:
https://www.debian.org/mirror/list-fullIst vielleicht auch interessant, wenn die ARM-MLD in Zukunft auch für 64-bit (RPI3) gebaut werden soll.
Wie gesagt, wen's interessiert.
Schöne Grüße aus Wien
BobW