#
# MobiCore configuration
#
config MOBICORE_SUPPORT
	tristate "Linux MobiCore Support"
	depends on ARM_TRUSTZONE
	---help---
	  Enable Linux Kernel MobiCore Support

config MOBICORE_DEBUG
    bool "MobiCore Module debug mode"
    depends on MOBICORE_SUPPORT
    ---help---
      Enable Debug mode in the MobiCore Driver.
      It enables printing information about mobicore operations

config MOBICORE_VERBOSE
    bool "MobiCore Module verbose debug mode"
    depends on MOBICORE_DEBUG
    ---help---
      Enable Verbose Debug mode in the MobiCore Driver.
      It enables printing extra information about mobicore operations
      Beware: this is only useful for debuging deep in the driver because
      it prints too much logs


config MOBICORE_API
    tristate "Linux MobiCore API"
    depends on MOBICORE_SUPPORT
    ---help---
      Enable Linux Kernel MobiCore API