Hi, Fedora 13 has officially been discontinued. c.f. http://lists.fedoraproject.org/pipermail/announce/2011-June/002979.html As a consequence of this, the Fedora 13 RTEMS toolchain rpms will be removed and the corresponding repositories redirected to CentOS5. Ralf