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 [[User:Chris Tyler|Chris Tyler]]. Koji have 22 hardware ARM builders. I am in the progress of building Fedora 13 under IRAQ.