Merge branch 'main' of github.com:davidharrishmc/riscv-wally into main

This commit is contained in:
Ross Thompson 2022-01-03 23:49:28 -06:00
commit 63fb70fa61

View File

@ -50,8 +50,8 @@ string tvpaths[] = '{
string imperas32mmu[] = '{ string imperas32mmu[] = '{
`MYIMPERASTEST, `MYIMPERASTEST,
"rv32mmu/WALLY-MMU-SV32", "3000" "rv32mmu/WALLY-MMU-SV32", "3000",
//"rv32mmu/WALLY-PMP", "3000", "rv32mmu/WALLY-PMP", "3000"
//"rv32mmu/WALLY-PMA", "3000" //"rv32mmu/WALLY-PMA", "3000"
}; };
@ -1488,9 +1488,9 @@ string imperas32f[] = '{
string wally64priv[] = '{ string wally64priv[] = '{
`WALLYTEST, `WALLYTEST,
"rv64i_m/privilege/WALLY-MMU-SV39", "30A0", "rv64i_m/privilege/WALLY-MMU-SV39", "30A0",
"rv64i_m/privilege/WALLY-MMU-SV48", "30A0", "rv64i_m/privilege/WALLY-MMU-SV48", "30A0"
"rv64i_m/privilege/WALLY-PMA", "30A0", // "rv64i_m/privilege/WALLY-PMA", "30A0",
"rv64i_m/privilege/WALLY-PMP", "30A0" // "rv64i_m/privilege/WALLY-PMP", "30A0"
}; };
string wally64periph[] = '{ string wally64periph[] = '{