search

google / kernel-sanitizers

Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel
https://google.github.io/kernel-sanitizers/
437 stars 87 forks source link

Pull minor fixes from my branch #52

Closed ramosian-glider closed 4 years ago

ramosian-glider commented 4 years ago

Gonna land this, feel free to look after the merge.