ARM: 7409/1: Do not call flush_cache_user_range with mmap_sem held

[linux/fpc-iii.git] / arch / arm / mach-tcc8k / Kconfig

if ARCH_TCC8K

comment "TCC8000 systems:"

config MACH_TCC8000_SDK
        bool "Telechips TCC8000-SDK development kit"
        default y
        help
          Support for the Telechips TCC8000-SDK board.

endif