CONFIG_ARM_CCA_GUEST=m
