diff options
-rwxr-xr-x | run_model.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/run_model.sh b/run_model.sh index 949b61a..86b82df 100755 --- a/run_model.sh +++ b/run_model.sh @@ -182,6 +182,7 @@ if [ "$FOUNDATION" == "1" ]; then --cores=$CLUSTER0_NUM_CORES \ $secure_memory_param \ --visualization \ + --use-real-time \ $gic_param \ --data=${BL1}@0x0 \ --data=${FIP}@0x8000000 \ |