adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

autocorres: include RISCV64 in supported architectures 

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
This commit is contained in:
Gerwin Klein 2020-10-29 12:11:16 +10:00 committed by Gerwin Klein
parent 7437943fa8
commit c64590f39b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/autocorres/tools/release.py
View File

@ -124,7 +124,7 @@ parser.add_argument('--no-cleanup', action='store_true',
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',
type=str, default='ARM,ARM_HYP,X64,RISCV64',
help='L4V_ARCHs to include (comma-separated)')
args = parser.parse_args()