make nestedvm work with gcc-4.2
[nestedvm.git] / doc / tmp.inputs
2004-05-05 xwtmerged Brian and Adams changes