Mathew McBride c9ebd4fb30 armsr: change image names to 'combined-efi' 2 years ago
..
Makefile c9ebd4fb30 armsr: change image names to 'combined-efi' 1 year ago
grub-efi.cfg 40b02a2301 armsr: rename from armvirt 2 years ago