KernelThreadSanitizer, a fast data race detector for the Linux kernel - View it on GitHub