reactos/syzkaller
1
0
Fork 0
mirror of https://github.com/reactos/syzkaller.git synced 2024-11-23 11:29:46 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
02034dac31
syzkaller/dashboard/config
History
Marco Elver 02034dac31 dashboard/config: select KCSAN_VERBOSE in KCSAN config 
In the KCSAN config, enable KCSAN_VERBOSE to generate better reports,
that include the locks held and the IRQ trace events for each thread.

The option requires PROVE_LOCKING, which comes with some performance
cost.
2020-08-04 21:39:55 +02:00
..
android dashboard/config: update android/config-5.4 2020-04-23 18:56:40 +02:00
distros dashboard/config: add more android configs 2020-04-23 18:56:40 +02:00
overlays ci-openbsd-multicore: enable PF (#1033) 2019-03-05 09:08:17 -08:00
akaros.config sys/akaros: disable init_arsc syscall 2018-07-16 16:57:35 +02:00
bits-kcsan.config dashboard/config: select KCSAN_VERBOSE in KCSAN config 2020-08-04 21:39:55 +02:00
bits-kmsan.config dashboard/config: switch to ORC unwinder 2020-02-26 13:28:48 +01:00
bits-syzbot-aux-debug.config dashboard/config: enable RCU_EQS_DEBUG 2020-05-29 16:23:13 +02:00
bits-syzbot.config dashboard/config: enable e1000 driver in bits-syzbot.config 2020-03-27 06:58:53 +01:00
freebsd-syz-ci-service.sh dashboard/config: refactor config generation scripts 2020-01-10 15:12:56 +01:00
generate-config-kcsan-from-kasan.sh dashboard/config: Enable USB_RAW_GADGET for KCSAN config 2020-05-07 14:28:41 +02:00
generate-config-kmsan-from-kasan.sh dashboard/config: refactor config generation scripts 2020-01-10 15:12:56 +01:00
generate-config-usb.sh dashboard/config: refactor config generation scripts 2020-01-10 15:12:56 +01:00
kconfiglib-merge-usb-configs.py all: use more respective language 2020-06-11 23:19:34 +02:00
netbsd-kasan.config dashboard/config/netbsd: add fault(4) to the kernel build (#1795) 2020-06-08 11:59:03 +02:00
netbsd-kmsan.config dashboard/config/netbsd: add fault(4) to the kernel build (#1795) 2020-06-08 11:59:03 +02:00
netbsd-kubsan.config dashboard/config/netbsd: add fault(4) to the kernel build (#1795) 2020-06-08 11:59:03 +02:00
openbsd-syzkaller.mp dashboard/config: enable KQUEUE_DEBUG on OpenBSD 2019-12-13 20:25:07 +01:00
openbsd-syzkaller.sp dashboard/config: enable KQUEUE_DEBUG on OpenBSD 2019-12-13 20:25:07 +01:00
README.md dashboard/config: add instructions on updating linux config 2020-02-17 06:27:36 +01:00
upstream-apparmor.cmdline tools/create-gce-image.sh: enable sysctl.kernel.hung_task_all_cpu_backtrace=1 2020-03-30 10:55:36 +02:00
upstream-kasan.config dashboard/config: regenerate all configs 2020-08-04 10:58:43 +02:00
upstream-kcsan.config dashboard/config: select KCSAN_VERBOSE in KCSAN config 2020-08-04 21:39:55 +02:00
upstream-kmsan.config dashboard/config: regenerate all configs 2020-08-04 10:58:43 +02:00
upstream-leak.config sys/linux: descriptions for /dev/snd/hw* 2020-07-29 15:49:04 +02:00
upstream-selinux.cmdline tools/create-gce-image.sh: enable sysctl.kernel.hung_task_all_cpu_backtrace=1 2020-03-30 10:55:36 +02:00
upstream-smack.cmdline tools/create-gce-image.sh: enable sysctl.kernel.hung_task_all_cpu_backtrace=1 2020-03-30 10:55:36 +02:00
upstream-usb.config dashboard/config: regenerate all configs 2020-08-04 10:58:43 +02:00
upstream.sysctl dashboard/config: enable more things in linux config 2018-09-07 15:06:27 +02:00
util.sh dashboard/config: add CONFIG_TWIST_FOR_SYZKALLER_TESTING config 2020-05-08 09:13:41 +02:00

README.md

This dir contains kernel configs used by syzbot.

Updating Linux configs

To update the main linux config upstream-kasan.config used by syzbot:

  1. Check out latest linux-next (we tend to use linux-next as it contains the most latest features in a single tree).
  2. Copy the config into kernel tree as .config.
  3. Run make olddefconfig.
  4. Make any additional changes to the config you want to do (e.g. enable/disable some configs with make menuconfig).
  5. Build and boot the kernel. Ensure there are no bugs during boot (in particular, WARNING's and LOCKDEP reports).
  6. Copy back the custom configs into the .config (see comments there).
  7. For compiler you need to use a recent gcc (8+). Some of the debugging configs may be disabled due to old/different compiler, in particular CONFIG_KCOV_ENABLE_COMPARISONS. You may also restore the compiler info part just to reduce the diff size.
  8. Copy the config back as upstream-kasan.config and send a PR. It will be deployed to syzbot within a day after merging.