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