Index: release/Makefile
===================================================================
--- release/Makefile	(revision 95ab29b65014c8e3a295c7fe41f760d1ddb4d48f)
+++ release/Makefile	(revision 7aebcdaf557e0232ead8c03111d3bb6cf1c3aaf8)
@@ -39,4 +39,5 @@
 	arm32/integratorcp \
 	arm32/raspberrypi \
+	arm64/virt \
 	ia32 \
 	ia64/i460GX \