| # 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 |