Merge branch 'main' into main

This commit is contained in:
David Harris 2023-04-19 04:46:51 -07:00 committed by GitHub
commit a13feb5d0b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -53,11 +53,12 @@ string tvpaths[] = '{
"lsu", "lsu",
"vm64check", "vm64check",
"pmp", "pmp",
"pmpcfg", "pmpcfg",
"pmpcfg1", "pmpcfg1",
"pmpcfg2", "pmpcfg2",
"tlbKP" "tlbKP",
"ifuCamlineWrite"
}; };
string coremark[] = '{ string coremark[] = '{