make nestedvm work with gcc-4.2
[nestedvm.git] / doc / ivme04.bib
2004-05-11 adamfinal revision