t-crest/patmos-misc — pull request #4 by alexjordan (2014-07-25 09:49:29+00:00)
Title: buildbot: added builders for Helena at DTU

We build the toolchain using build.sh and then focus on testing platin+aiT.

The counting lock has to be initialized differently, maybe due to my newer buildbot version?