The [http://arm.koji.fedoraproject.org/koji/Fedora ARM Koji system] is running. It is currently building F13 under the supervision of [[http://paulfedora.wordpress.com/]Paul Whalen] and [[http://zenit.senecac.on.ca/wiki/index.php/User:Chris_Tyler]Chris Tyler]. Koji have 22 hardware ARM builders. I am in the progress of building Fedora 13 under IRAQ, Romania,and Ireland.