diff --git a/model/base-aemv8a-gic600ae.sh b/model/base-aemv8a-gic600ae.sh
index cdf5608..32f0c1c 100644
--- a/model/base-aemv8a-gic600ae.sh
+++ b/model/base-aemv8a-gic600ae.sh
@@ -19,5 +19,10 @@
 # Hence to set GICR base address to 0x2f100000, set the
 # ITScount=6 where RDnum=0
 cat <<EOF >>"$model_param_file"
+-C bp.terminal_0.start_port=5000
+-C bp.terminal_1.start_port=5001
+-C bp.terminal_2.start_port=5002
+-C bp.terminal_3.start_port=5003
+
 -C gic_iri.ITS-count=6
 EOF