1# Semihosted FVP fast model 2CONFIG_ARM=y 3CONFIG_TARGET_VEXPRESS64_BASE_FVP=y 4CONFIG_DEFAULT_DEVICE_TREE="vexpress64" 5