Analyse et explore linux
Component KCSAN_STRICT

Component Type: kbuild config

Description: Strict data-race checking

More info: KCSAN will report data races with the strictest possible rules, which closely aligns with the rules defined by the Linux-kernel memory consistency model (LKMM).

Build project: Kconfig (Linux kconfig) (Path: Kconfig )

Other views: file explorer

Generated by PFA software prototype