A Bochs-based instrumentation project designed to log kernel memory references, to identify "double fetches" and other OS vulnerabilities - View it on GitHub