diff --git a/tools/autocorres/tools/release.py b/tools/autocorres/tools/release.py
index b323c6acdf..6e3f03ca1a 100755
--- a/tools/autocorres/tools/release.py
+++ b/tools/autocorres/tools/release.py
@@ -125,7 +125,7 @@ def copy_manifest(output_dir, manifest_file, manifest_base, target):
 parser.add_argument('-r', '--repository', metavar='REPO',
                     type=str, help='Path to the L4.verified repository base.', default=None)
 parser.add_argument('--archs', metavar='ARCH,...',
-                    type=str, default='ARM,ARM_HYP,X64,RISCV64',
+                    type=str, default='ARM,ARM_HYP,X64,RISCV64,AARCH64',
                     help='L4V_ARCHs to include (comma-separated)')
 args = parser.parse_args()