X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Freboot.c;h=f6fbdf7e94832607842379a3eb57061affdc32d6;hb=856dabe4e139e3b42e2956f85e562aa922d66f2e;hp=08f307da203acc00a037bec493c8f805ada2d9dc;hpb=626595465a2c6987606a6bc697df65130ad8c2d3;p=palacios.git

diff --git a/palacios/src/geekos/reboot.c b/palacios/src/geekos/reboot.c
index 08f307d..f6fbdf7 100644
--- a/palacios/src/geekos/reboot.c
+++ b/palacios/src/geekos/reboot.c
@@ -1,3 +1,6 @@
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #include <geekos/reboot.h>
 #include <libc/string.h>
 // from linux...