It is my understanding that the base Linux dirstros do not support the AmigaOne Board (perhaps BIOS issues) but that a port has been done (for nearly all PPC Linux distros) and that works fine.
Wether these ports are feed back to the original distro or even made publicly available has not been stated ...
Regards
Darren