[amiga-workbench]

Yup, and you will get mainline linux kernel support and UEFI too. No mincing around with specially blessed SD card images and non-standard boot procedures.