Seperated the tool prefix from the tool name for ARMv8.
[barrelfish] / hake / ARMv8.hs
2015-07-08 David CockSeperated the tool prefix from the tool name for ARMv8.
2015-06-19 Simon Gerberarmv8: remove old GOT stuff.
2015-06-03 Simon GerberInitial AArch64/ARMv8 skeleton.