2015-05-28 Wilco Dijkstra <wdijkstr@arm.com>