#@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"

PLATFORM_IS_FVP = "FALSE"

TS_PLATFORM = "arm/corstone1000-mps3"
