6e5970c8f4
Update the NetBSD Kernel Concurrency Sanitizer (KCSAN) runtime to work in the FreeBSD kernel. It is a useful tool for finding data races between threads executing on different CPUs. This can be enabled by enabling KCSAN in the kernel config, or by using the GENERIC-KCSAN amd64 kernel. It works on amd64 and arm64, however the later needs a compiler change to allow -fsanitize=thread that KCSAN uses. Sponsored by: DARPA, AFRL Differential Revision: https://reviews.freebsd.org/D22315 |
||
---|---|---|
.. | ||
acpica | ||
arm64 | ||
cavium | ||
cloudabi32 | ||
cloudabi64 | ||
conf | ||
coresight | ||
include | ||
intel | ||
linux | ||
qualcomm | ||
rockchip |