harness: machines: define custom buildall targets for armv7/armv8 machines
[barrelfish] / tools / harness / efiimage.py
2016-11-24 Moritz Hoffmannharness: Add EFI image tool to create EFI disk images