Mirrors of upstream repositories used by the Embecosm public build server: https://buildbot.embecosm.com