diff options
Diffstat (limited to 'tests/quick/10.linux-boot/ref/alpha/linux/tsunami-simple-timing/config.ini')
-rw-r--r-- | tests/quick/10.linux-boot/ref/alpha/linux/tsunami-simple-timing/config.ini | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tests/quick/10.linux-boot/ref/alpha/linux/tsunami-simple-timing/config.ini b/tests/quick/10.linux-boot/ref/alpha/linux/tsunami-simple-timing/config.ini index 180fa2b80..b7bd833a9 100644 --- a/tests/quick/10.linux-boot/ref/alpha/linux/tsunami-simple-timing/config.ini +++ b/tests/quick/10.linux-boot/ref/alpha/linux/tsunami-simple-timing/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.cpu.dtb function_trace=false function_trace_start=0 |