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