[Roman Meier] > AFAIK debian edu currently only supports amd64 and i386. > > Is it possible to add arm64 to be used e.g. with raspberry pi's? You might find something useful on <URL: https://wiki.debian.org/DebianEdu/HowTo/RaspberryPiWorkstation >. -- Happy hacking Petter Reinholdtsen