1*812b31d3SAlex Bennée# Default configuration for aarch64-softmmu 2*812b31d3SAlex Bennée 3*812b31d3SAlex Bennée# We support all the 32 bit boards so need all their config 4*812b31d3SAlex Bennéeinclude ../arm-softmmu/default.mak 5*812b31d3SAlex Bennée 6*812b31d3SAlex BennéeCONFIG_XLNX_ZYNQMP_ARM=y 7*812b31d3SAlex BennéeCONFIG_XLNX_VERSAL=y 8*812b31d3SAlex BennéeCONFIG_SBSA_REF=y 9