Kconfig

 1config ARM_CCA_GUEST
 2	tristate "Arm CCA Guest driver"
 3	depends on ARM64
 4	select TSM_REPORTS
 5	help
 6	  The driver provides userspace interface to request and
 7	  attestation report from the Realm Management Monitor(RMM).
 8
 9	  If you choose 'M' here, this module will be called
10	  arm-cca-guest.