X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=12ae68447c2875ecbb50890c2ea025dbc63f4855;hp=3570f463c1483876ad22f6673283aa884e11d1e0;hb=101529b6eae500272347287df43ec51aa003d0aa;hpb=4f7c3b759e3889870c5b5e7d09b3ffcc168e5632 diff --git a/palacios/build/Makefile b/palacios/build/Makefile index 3570f46..12ae684 100644 --- a/palacios/build/Makefile +++ b/palacios/build/Makefile @@ -1,9 +1,11 @@ # Makefile for GeekOS kernel, userspace, and tools # # Northwestern University -# (c) 2008, Jack Lange +# (c) 2008, Jack Lange # (c) 2008, Peter Dinda -# +# (c) 2008, Lei Xia +# (c) 2008, The V3VEE Project +# # Based on GeekOS Makefile: # Copyright (c) 2004,2005 David H. Hovemeyer # $Revision: 1.71 $