As of 2010-08-14: The [http://arm.koji.fedoraproject.org Fedora ARM Koji system] is up and running; it is currently building F13 under the supervision of [[User:Paul.W|Paul Whalen]] and [[User:Chris Tyler|Chris Tyler]]. We have 22 hardware ARM builders at present (see [[Fedora ARM Secondary Architecture/ARM hardware|ARM Hardware]]) which include 20 GuruPlug Server Plus, 1 BeagleBoard XM and an OpenRD Client. We are in the progress of building Fedora 13 and have just under 9000 packages built.