X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fgeekos%2Fdebug.h;h=065aae8d04d477209cf1089307ada9e0e9924253;hp=a94610aa3c524c132d0338921c5ee40c32bef5d6;hb=56f8088296ee4116a4811a2f4f843edd80a7748d;hpb=f9bb3db89469169bb5775dc031d89e570c6fed70 diff --git a/palacios/include/geekos/debug.h b/palacios/include/geekos/debug.h index a94610a..065aae8 100644 --- a/palacios/include/geekos/debug.h +++ b/palacios/include/geekos/debug.h @@ -1,3 +1,7 @@ +/* (c) 2008, Peter Dinda */ +/* (c) 2008, Jack Lange */ +/* (c) 2008, The V3VEE Project */ + #ifndef __DEBUG_H #define __DEBUG_H