# Copyright (c) 2021 Arm Limited (or its affiliates). All rights reserved.
# SPDX-License-Identifier: Apache-2.0

set(EMU_PLATFORM armfvp)
set(ARMFVP_BIN_NAME FVP_BaseR_AEMv8R)

set(ARMFVP_FLAGS
  -C cluster0.has_aarch64=1
  -C cluster0.VMSA_supported=0
  -C cluster0.NUM_CORES=1
  -C bp.dram.enable_atomic_ops=1
  -C bp.sram.enable_atomic_ops=1
  -C gic_distributor.GICD_CTLR-DS-1-means-secure-only=1
  -C gic_distributor.has-two-security-states=0
  -C bp.refcounter.non_arch_start_at_default=1
  -C bp.pl011_uart0.out_file=-
  -C bp.pl011_uart0.unbuffered_output=1
  -C bp.terminal_0.start_telnet=0
  -C bp.vis.disable_visualisation=1
  -C bp.vis.rate_limit-enable=0
  )