Title: VMM support for kernel monitoring
First published: 2005