arm64 images to boot raspberry pi's

[roman . meier]

Hi folks,

AFAIK debian edu currently only supports amd64 and i386.

Is it possible to add arm64 to be used e.g. with raspberry pi's?

Kind regards,
Roman