# Kconfig check list for dovetail-based xenomai
|
#
|
# This file contains assertions testing a set of configuration
|
# settings from a kernel .config file, which are fed to evl-check.
|
# Any failed assertion is reported.
|
#
|
#
|
# check_list : assertion
|
# | check_list assertion
|
#
|
# assertion : expr conditions
|
# | "!" expr conditions
|
#
|
# expr : symbol /* matches =y and =m */
|
# | symbol "=" tristate
|
#
|
# tristate : "y"
|
# | "m"
|
# | "n"
|
#
|
# conditions : dependency
|
# | dependency arch
|
#
|
# dependency : "if" symbol /* true if set as y/m */
|
#
|
# arch : "on" cputype
|
#
|
# cputype : $(uname -m)
|
#
|
# <arch> should match $(uname -m) or some abbreviated portion
|
# of it.
|
#
|
# e.g.
|
# "CONFIG_FOO must be set whenever CONFIG_BAR is UNset"
|
# translates to: CONFIG_FOO if !CONFIG_BAR
|
# "CONFIG_FOO must not be set"
|
# translates to: !CONFIG_FOO, or conversely CONFIG_FOO=n
|
# "CONFIG_FOO must be built as module on aarch32 or aarch64"
|
# translates to: CONFIG_FOO=m on aarch
|
|
CONFIG_CPU_FREQ_DEFAULT_GOV_PERFORMANCE=y if CONFIG_CPU_FREQ
|
CONFIG_DEBUG_HARD_LOCKS=n
|
CONFIG_ACPI_PROCESSOR_IDLE=n
|
CONFIG_LOCKDEP=n
|
CONFIG_DEBUG_LIST=n
|
CONFIG_DEBUG_VM=n
|
CONFIG_DEBUG_PER_CPU_MAPS=n
|
CONFIG_KASAN=n
|
CONFIG_DEBUG_ENTRY=n
|
CONFIG_FTRACE=n
|
CONFIG_MIGRATION=n
|
