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_TylerChris Tyler|Chris Tyler]]. Koji have 22 hardware ARM builders. I am in the progress of building Fedora 13 under IRAQ, Romania,and Ireland.