Merge pull request #6496 from adityamandaleeka/virtual_cleanup
authorAditya Mandaleeka <adityamandaleeka@users.noreply.github.com>
Fri, 29 Jul 2016 01:00:40 +0000 (18:00 -0700)
committerGitHub <noreply@github.com>
Fri, 29 Jul 2016 01:00:40 +0000 (18:00 -0700)
Add in-memory circular buffer for logging virtual memory operations.


Trivial merge