diff --git a/sim/imperas.ic b/sim/imperas.ic index 4106968ed..36412d3f0 100644 --- a/sim/imperas.ic +++ b/sim/imperas.ic @@ -50,6 +50,7 @@ --override cpu/wfi_is_nop=T --override cpu/misa_Extensions_mask=0x0 --override cpu/Sstc=T +--override cpu/Sv_modes=768 # Enable SVADU hardware update of A/D bits when menvcfg.HADE=1 --override cpu/Svadu=T diff --git a/sim/regression-wally b/sim/regression-wally index 006718701..06f4ce777 100755 --- a/sim/regression-wally +++ b/sim/regression-wally @@ -49,7 +49,7 @@ configs = [ ) ] def getBuildrootTC(boot): - INSTR_LIMIT = 4000000 # multiple of 100000; 4M is interesting because it gets into the kernel and enabling VM + INSTR_LIMIT = 1000000 # multiple of 100000; 4M is interesting because it gets into the kernel and enabling VM MAX_EXPECTED = 246000000 # *** TODO: replace this with a search for the login prompt. if boot: name="buildrootboot" @@ -66,13 +66,6 @@ def getBuildrootTC(boot): BRgrepstr=str(INSTR_LIMIT)+" instructions" return TestCase(name,variant="rv64gc",cmd=BRcmd,grepstr=BRgrepstr) -tc = TestCase( - name="buildroot-checkpoint", - variant="rv64gc", - cmd="vsim > {} -c <