1#@TYPE: Machine
2#@NAME: corstone1000-mps3 machine
3#@DESCRIPTION: Machine configuration for Corstone1000 64-bit MPS3 FPGA board
4
5require conf/machine/include/corstone1000.inc
6
7TFA_TARGET_PLATFORM = "fpga"
8
9PLATFORM_IS_FVP = "FALSE"
10