modified copyright tags

[palacios.git] / palacios / src / palacios / vmm_symbol.asm

diff --git a/palacios/src/palacios/vmm_symbol.asm b/palacios/src/palacios/vmm_symbol.asm
index cd9841e..aa59fc8 100644 (file)
--- a/palacios/src/palacios/vmm_symbol.asm
+++ b/palacios/src/palacios/vmm_symbol.asm
@@ -1,5 +1,7 @@
 ; Symbol mangling macros
 ; Copyright (c) 2001, David H. Hovemeyer <daveho@cs.umd.edu>
+; (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
+; (c) 2008, The V3VEE Project <http://www.v3vee.org> 
 ; $Revision: 1.1 $
 
 ; This file defines macros for dealing with externally-visible