Merge branch 'main' into main

This commit is contained in:
David Harris 2023-04-19 04:46:51 -07:00 committed by GitHub
commit 156a098884

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[] = '{