100644 blob 71ab20f27cf760df67b981d35628e4b83bcc2d17	corstone1000-image.corstone1000.wks
100644 blob b131dd842fb047a8f0080e8cdb801b9a2f0e0f10	n1sdp-efidisk.wks
100644 blob 7323ec746833d910f32c0ee6696d5eb06b9e1d52	n1sdp-grub.cfg
100644 blob d4c79d337bcb9afca8a34149549b4a8fcce32774	sgi575-efidisk.wks
100644 blob a176389746c1d85030f875bf315f92e7917acde3	sgi575-grub.cfg