X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx.h;h=3b407845d003d9c981c0f067a4c7e0998c51161a;hb=c64bc075e1d60f6f010fb65f296d26ae655f0ca2;hp=d713b1f7f67552d72adf3fdd549f2fb24188d067;hpb=a109eb919a162bd7de58d62020801bc2e633be50;p=palacios-OLD.git diff --git a/palacios/include/palacios/vmx.h b/palacios/include/palacios/vmx.h index d713b1f..3b40784 100644 --- a/palacios/include/palacios/vmx.h +++ b/palacios/include/palacios/vmx.h @@ -1,3 +1,7 @@ +/* (c) 2008, Peter Dinda */ +/* (c) 2008, Jack Lange */ +/* (c) 2008, The V3VEE Project */ + #ifndef __VMX_H #define __VMX_H