D="${0%/*}"
FVP_BaseR_AEMv8R \
  -C bp.exclusive_monitor.monitor_access_level=1 \
  -C bp.pl011_uart0.out_file=- \
  -C bp.pl011_uart0.unbuffered_output=0 \
  -C bp.refcounter.non_arch_start_at_default=1 \
  -C bp.vis.disable_visualisation=1 \
  -C cache_state_modelled=0 \
  -C cci400.force_on_from_start=1 \
  -C cluster0.NUM_CORES=4 \
  -C cluster0.VMSA_supported=1 \
  -C cluster0.has_aarch64=1 \
  -C gic_distributor.GICD_CTLR-DS-1-means-secure-only=1 \
  -C gic_distributor.has-two-security-states=0 \
  -a 'cluster0*'="$D/bootstrap.elf" "$@"
