diff options
Diffstat (limited to 'tests/quick/10.linux-boot/ref/alpha/linux/tsunami-simple-timing-dual/config.ini')
| -rw-r--r-- | tests/quick/10.linux-boot/ref/alpha/linux/tsunami-simple-timing-dual/config.ini | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/quick/10.linux-boot/ref/alpha/linux/tsunami-simple-timing-dual/config.ini b/tests/quick/10.linux-boot/ref/alpha/linux/tsunami-simple-timing-dual/config.ini index bc81405be..5c151b2f9 100644 --- a/tests/quick/10.linux-boot/ref/alpha/linux/tsunami-simple-timing-dual/config.ini +++ b/tests/quick/10.linux-boot/ref/alpha/linux/tsunami-simple-timing-dual/config.ini @@ -12,6 +12,7 @@ break_cycles= [exetrace] intel_format=false +legion_lockstep=false pc_symbol=true print_cpseq=false print_cycle=true @@ -77,6 +78,9 @@ children=dtb itb clock=1 cpu_id=0 defer_registration=false +do_checkpoint_insts=true +do_quiesce=true +do_statistics_insts=true dtb=system.cpu0.dtb function_trace=false function_trace_start=0 @@ -105,6 +109,9 @@ children=dtb itb clock=1 cpu_id=1 defer_registration=false +do_checkpoint_insts=true +do_quiesce=true +do_statistics_insts=true dtb=system.cpu1.dtb function_trace=false function_trace_start=0 |