kernel/kcsan/.kunitconfig

   1 # Note that the KCSAN tests need to run on an SMP setup.
   2 # Under kunit_tool, this can be done by using the --qemu_args
   3 # option to configure a machine with several cores. For example:
   4 # ./tools/testing/kunit/kunit.py run --kunitconfig=kernel/kcsan \
   5 #                                --arch=x86_64 --qemu_args="-smp 8"
   6
   7 CONFIG_KUNIT=y
   8
   9 CONFIG_DEBUG_KERNEL=y
  10
  11 # Need some level of concurrency to test a concurrency sanitizer.
  12 CONFIG_SMP=y
  13
  14 CONFIG_KCSAN=y
  15 CONFIG_KCSAN_KUNIT_TEST=y
  16
  17 # Set these if you want to run test_barrier_nothreads
  18 #CONFIG_KCSAN_STRICT=y
  19 #CONFIG_KCSAN_WEAK_MEMORY=y
  20
  21 # This prevents the test from timing out on many setups. Feel free to remove
  22 # (or alter) this, in conjunction with setting a different test timeout with,
  23 # for example, the --timeout kunit_tool option.
  24 CONFIG_KCSAN_REPORT_ONCE_IN_MS=100