#
# MobiCore configuration
#

menu "MobiCore secure driver"

config MOBICORE_DRIVER
	tristate "MobiCore support"
	depends on ARM_TRUSTZONE
	---help---
	  Enable Linux Kernel MobiCore Support

config MOBICORE_DEBUG
	bool "MobiCore Module debug mode"
	depends on MOBICORE_DRIVER
	---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 "MobiCore Kernel API"
	depends on MOBICORE_DRIVER
	---help---
	  Enable Linux Kernel MobiCore API

if MOBICORE_DRIVER

choice
	prompt "MobiCore platform"
	default MOBICORE_PLATFORM_EXYNOS5 if ARCH_EXYNOS5

	config MOBICORE_PLATFORM_EXYNOS5
		bool "MobiCore for Exynos5" if ARCH_EXYNOS5

endchoice

config MOBICORE_PLATFORM
	string
	default "EXYNOS_5250_STD" if MOBICORE_PLATFORM_EXYNOS5

endif

endmenu
