#@TYPE: Machine
#@NAME: corstone1000-mps3 machine
#@DESCRIPTION: Machine configuration for Corstone1000 64-bit MPS3 FPGA board

require conf/machine/include/corstone1000.inc

TFA_TARGET_PLATFORM = "fpga"

# Unlike the FVP, MPS3 supports CoreSight
MACHINE_FEATURES += "coresight"

CORSTONE_1000_TYPE = "CORSTONE_1000_TYPE_CORTEX_A35_MPS3"

WKS_FILE:firmware ?= "corstone1000-flash-firmware-mps3.wks.in"
