linux/debian/config/sh4/config

56 lines
754 B
Plaintext

##
## file: arch/Kconfig
##
# CONFIG_STACKPROTECTOR_STRONG is not set
##
## file: arch/sh/Kconfig
##
CONFIG_KEXEC=y
CONFIG_SECCOMP=y
##
## file: arch/sh/Kconfig.cpu
##
## choice: Endianness selection
CONFIG_CPU_LITTLE_ENDIAN=y
## end choice
CONFIG_SH_FPU=y
CONFIG_SH_STORE_QUEUES=y
##
## file: arch/sh/drivers/Kconfig
##
CONFIG_HEARTBEAT=y
##
## file: arch/sh/mm/Kconfig
##
## choice: Cache mode
CONFIG_CACHE_WRITEBACK=y
## end choice
##
## file: drivers/cpufreq/Kconfig
##
CONFIG_CPU_FREQ_GOV_PERFORMANCE=y
CONFIG_SH_CPU_FREQ=y
##
## file: drivers/pci/pcie/Kconfig
##
# CONFIG_PCIEPORTBUS is not set
##
## file: kernel/Kconfig.hz
##
## choice: Timer frequency
CONFIG_HZ_250=y
## end choice
##
## file: kernel/irq/Kconfig
##
CONFIG_SPARSE_IRQ=y