# Additional config switches for KCSAN kernels.
# To be used by kcsan_from_kasan_config.sh

# Disable KASAN:
# CONFIG_KASAN is not set
CONFIG_VMAP_STACK=y

# Enable KCSAN:
CONFIG_KCSAN=y
# CONFIG_KCSAN_EARLY_ENABLE is not set
CONFIG_KCSAN_UDELAY_MAX_TASK=80
CONFIG_KCSAN_UDELAY_MAX_INTERRUPT=20
CONFIG_KCSAN_DELAY_RANDOMIZE=y
CONFIG_KCSAN_WATCH_SKIP_INST=2000
# Conservative data-race detection for now.
# CONFIG_KCSAN_REPORT_RACE_UNKNOWN_ORIGIN is not set
CONFIG_KCSAN_IGNORE_ATOMICS=y
# CONFIG_KCSAN_PLAIN_WRITE_PRETEND_ONCE is not set
# CONFIG_KCSAN_DEBUG is not set

# Disable debug configs enabled in KASAN configs:
# CONFIG_DEBUG_DEVRES is not set
# CONFIG_DEBUG_OBJECTS is not set
# CONFIG_DEBUG_VM is not set
# CONFIG_DEBUG_VIRTUAL is not set
# CONFIG_DEBUG_MEMORY_INIT is not set
# CONFIG_DEBUG_PER_CPU_MAPS is not set
# CONFIG_PROVE_LOCKING is not set
# CONFIG_DEBUG_RT_MUTEXES is not set
# CONFIG_DEBUG_SPINLOCK is not set
# CONFIG_DEBUG_MUTEXES is not set
# CONFIG_DEBUG_WW_MUTEX_SLOWPATH is not set
# CONFIG_DEBUG_RWSEMS is not set
# CONFIG_DEBUG_LOCK_ALLOC is not set
# CONFIG_DEBUG_ATOMIC_SLEEP is not set
# CONFIG_DEBUG_KOBJECT is not set
# CONFIG_DEBUG_PI_LIST is not set
# CONFIG_DEBUG_SG is not set
# CONFIG_DEBUG_NOTIFIERS is not set
# CONFIG_DEBUG_CREDENTIALS is not set