mirror of
https://github.com/reactos/syzkaller.git
synced 2024-11-27 13:20:34 +00:00
44 lines
1.3 KiB
Plaintext
44 lines
1.3 KiB
Plaintext
# 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_DEBUG is not set
|
|
CONFIG_KCSAN_SELFTEST=y
|
|
# CONFIG_KCSAN_EARLY_ENABLE is not set
|
|
CONFIG_KCSAN_NUM_WATCHPOINTS=64
|
|
CONFIG_KCSAN_UDELAY_TASK=80
|
|
CONFIG_KCSAN_UDELAY_INTERRUPT=20
|
|
CONFIG_KCSAN_DELAY_RANDOMIZE=y
|
|
CONFIG_KCSAN_SKIP_WATCH=4000
|
|
CONFIG_KCSAN_SKIP_WATCH_RANDOMIZE=y
|
|
# CONFIG_KCSAN_REPORT_RACE_UNKNOWN_ORIGIN is not set
|
|
CONFIG_KCSAN_REPORT_VALUE_CHANGE_ONLY=y
|
|
CONFIG_KCSAN_IGNORE_ATOMICS=y
|
|
# CONFIG_KCSAN_PLAIN_WRITE_PRETEND_ONCE 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
|