#
# MobiCore configuration
#
config MOBICORE_DRIVER
    tristate "MobiCore Driver"
    ---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 "Linux MobiCore API"
    depends on MOBICORE_DRIVER
    ---help---
      Enable Linux Kernel MobiCore API

source "drivers/gud/gud-exynos8890/sec-os-ctrl/Kconfig"
source "drivers/gud/gud-exynos8890/sec-os-booster/Kconfig"