harness: machines: define custom buildall targets for armv7/armv8 machines
[barrelfish] / tools / harness / siteconfig / msrc.py
2016-07-21 Reto Achermann[harness] adding HAGFISH_LOCATION to the site config
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.