# Makefile for GeekOS kernel, userspace, and tools
 #
 #  Northwestern University 
-# (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> 
+# (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
 # (c) 2008, Peter Dinda <pdinda@northwestern.edu> 
-# 
+# (c) 2008, Lei Xia <xiaxlei@gmail.com>
+# (c) 2008, The V3VEE Project <http://www.v3vee.org> 
+#
 # Based on GeekOS Makefile:
 # Copyright (c) 2004,2005 David H. Hovemeyer <daveho@cs.umd.edu>
 # $Revision: 1.71 $
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __8237_DMA_H
 #define __8237_DMA_H
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __8254_H
 #define __8254_H
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __8259A_H
 #define __8259A_H
 
-/* Northwestern University */
 /* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __GENERIC_H
 #define __GENERIC_H
 
-/* Northwestern University */
 /* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __KEYBOARD_H
 #define __KEYBOARD_H
 
-/* Northwestern University */
 /* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __NVRAM_H
 #define __NVRAM_H
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __SERIAL_H__
 #define __SERIAL_H__
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __SIMPLE_PIC_H
 #define __SIMPLE_PIC_H
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __TIMER_H
 #define __TIMER_H
 
 /*
  * Boot information structure, passed to kernel Main() routine
  * 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.7 $
  * 
  * This is free software.  You are permitted to use,
 
+/* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef __DEBUG_H
 #define __DEBUG_H
 
 
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef _LIST2_H
 #define _LIST2_H
 
 
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef __NET_H__
 #define __NET_H__
 
 
+/* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef GEEKOS_PCI_H
 #define GEEKOS_PCI_H
 
 
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef __QUEUE_H__
 #define __QUEUE_H__
 
 
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef REBOOT_H
 #define REBOOT_H
 
 
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef __RING_BUFFER_H__
 #define __RING_BUFFER_H__
 
 
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
+
 #ifndef SERIAL_H
 #define SERIAL_H
 
 
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef GEEKOS_SOCKET_H
 #define GEEKOS_SOCKET_H
 
 
 /*
  * GeekOS timer interrupt support
  * Copyright (c) 2001, David H. Hovemeyer <daveho@cs.umd.edu>
+ * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
+ * (c) 2008, The V3VEE Project <http://www.v3vee.org> 
  * $Revision: 1.2 $
  * 
  * This is free software.  You are permitted to use,
 
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef __VM_H
 #define __VM_H
 
 
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef __VMM_STUBS_H
 #define __VMM_STUBS_H
 
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 
 #ifndef __SVM_H
 #define __SVM_H
 
+/* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef __SVM_HALT_H
 #define __SVM_HALT_H
 
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __SVM_HANDLER_H
 #define __SVM_HANDLER_H
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __SVM_IO_H
 #define __SVM_IO_H
 
-/* Northwestern University */
-/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __SVM_PAUSE_H
 #define __SVM_PAUSE_H
 
+/* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef __SVM_WBINVD_H
 #define __SVM_WBINVD_H
 
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __VM_DEV_H
 #define __VM_DEV_H
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __VM_GUEST_H
 #define __VM_GUEST_H
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __VM_GUEST_MEM_H
 #define __VM_GUEST_MEM_H
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __VMCB_H
 #define __VMCB_H
 
-/* Northwestern University */
+/* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __VMCS_H
 #define __VMCS_H
 
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
+
 #ifndef vmcs_gen
 #define vmcs_gen
 #include <palacios/vmcs.h>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __VMM_H
 #define __VMM_H
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __VMM_CONFIG_H__
 #define __VMM_CONFIG_H__
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __VMM_CTRL_REGS_H
 #define __VMM_CTRL_REGS_H
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __VMM_DEBUG_H
 #define __VMM_DEBUG_H
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __VMM_EMULATE_H
 #define __VMM_EMULATE_H
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef _VMM_DEV_MGR
 #define _VMM_DEV_MGR
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __VMM_EMULATOR_H__
 #define __VMM_EMULATOR_H__
 
 /* Copyright (C) 2002 Christopher Clark <firstname.lastname@cl.cam.ac.uk> */
 /* Modifications made by Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 
 #ifndef __VMM_HASHTABLE_H__
 #define __VMM_HASHTABLE_H__
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __VMM_INTR_H_
 #define __VMM_INTR_H_
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __VMM_IO_H
 #define __VMM_IO_H
 
 /* Stolen From Linux list implementation*/
 /* Modifications by Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef _VMM_LIST_H
 #define _VMM_LIST_H
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __VMM_MEM_H
 #define __VMM_MEM_H
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __VMM_PAGING_H
 #define __VMM_PAGING_H
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __VMM_QUEUE_H__
 #define __VMM_QUEUE_H__
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __VMM_SHADOW_PAGING_H
 #define __VMM_SHADOW_PAGING_H
 
-/*
- * String library
+/* * String library
  * Copyright (c) 2001,2004 David H. Hovemeyer <daveho@cs.umd.edu>
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, Lei Xia <xiaxlei@gmail.com> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
  * $Revision: 1.2 $
  * 
  * This is free software.  You are permitted to use,
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __VMM_TIME_H
 #define __VMM_TIME_H
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __VMM_TYPES_H
 #define __VMM_TYPES_H
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __VMM_UTIL_H
 #define __VMM_UTIL_H
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __VMM_XED_H__
 #define __VMM_XED_H__
 
-/* Northwestern University */
+/* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __VMX_H
 #define __VMX_H
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <devices/8237_dma.h>
 
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <devices/8254.h>
 #include <palacios/vmm.h>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <devices/8259a.h>
 #include <palacios/vmm_intr.h>
 
-/* Northwestern University */
-/* (c) 2008, Peter Dinda <pdinda@cs.northwestern.edu> */
+/* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <devices/generic.h>
 #include <palacios/vmm.h>
 
-/* Northwestern University */
-/* (c) 2008, Peter Dinda <pdinda@cs.northwestern.edu> */
+/* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <devices/keyboard.h>
 #include <geekos/io.h>
 
-/* Northwestern University */
-/* (c) 2008, Peter Dinda <pdinda@cs.northwestern.edu> */
+/* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <devices/nvram.h>
 #include <palacios/vmm.h>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <devices/serial.h>
 #include <palacios/vmm.h>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <devices/simple_pic.h>
 #include <palacios/vmm_intr.h>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <devices/timer.h>
 #include <palacios/vmm.h>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <geekos/debug.h>
 
 
  * Copyright (c) 2001,2003,2004 David H. Hovemeyer <daveho@cs.umd.edu>
  * Copyright (c) 2003, Jeffrey K. Hollingsworth <hollings@cs.umd.edu>
  * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
+ * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org>
  * $Revision: 1.13 $
  * 
  * This is free software.  You are permitted to use,
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
+
 #include <geekos/net.h>
 #include <geekos/socket.h>
 #include <geekos/ne2k.h>
 
  * Paging (virtual memory) support
  * Copyright (c) 2003, Jeffrey K. Hollingsworth <hollings@cs.umd.edu>
  * Copyright (c) 2003,2004 David H. Hovemeyer <daveho@cs.umd.edu>
+ * (c) 2008, Peter Dinda <pdinda@northwestern.edu> 
+ * (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> 
+ * (c) 2008, The V3VEE Project <http://www.v3vee.org> 
  * $Revision: 1.2 $
  * 
  * This is free software.  You are permitted to use,
 
-/* Northwestern University */
 /* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <geekos/malloc.h>
 #include <geekos/pci.h>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <geekos/queue.h>
 
 
-/* Northwestern University */
 /* (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>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <geekos/ring_buffer.h>
 #include <geekos/malloc.h>
 
+/* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #include <geekos/serial.h>
 #include <geekos/reboot.h>
 #include <geekos/gdt.h>
 
 ; -*- fundamental -*-
 ; GeekOS setup code
 ; Copyright (c) 2001,2004 David H. Hovemeyer <daveho@cs.umd.edu>
-; Copyright (c) 2008 Jack Lange <jarusl@cs.northwestern.edu>
+; (c) 2008, Peter Dinda <pdinda@northwestern.edu> 
+; (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> 
+; (c) 2008, The V3VEE Project <http://www.v3vee.org> 
 ; $Revision: 1.8 $
 
 ; This is free software.  You are permitted to use,
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
-/* (c) 2008, Lei Xia <xiaxlei@gmail.com> */
+/* (c) 2008, Lei Xia <xiaxlei@gmail.com>
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <geekos/socket.h>
 #include <geekos/malloc.h>
 
  * GeekOS timer interrupt support
  * Copyright (c) 2001,2003 David H. Hovemeyer <daveho@cs.umd.edu>
  * Copyright (c) 2003, Jeffrey K. Hollingsworth <hollings@cs.umd.edu>
- * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
+ * (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
+ * (c) 2008, The V3VEE Project <http://www.v3vee.org> 
  * $Revision: 1.11 $
  * 
  * This is free software.  You are permitted to use,
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <geekos/vmm_stubs.h>
 
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <geekos/vmm_stubs.h>
 #include <geekos/serial.h>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
-
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <palacios/svm.h>
 #include <palacios/vmm.h>
 
-/* Northwestern University */
 /* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 
 #include <palacios/svm_halt.h>
 #include <palacios/vmm_intr.h>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <palacios/svm_handler.h>
 #include <palacios/vmm.h>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008 The V3VEE Project <http://www.v3vee.org> */
+
+
 #include <palacios/svm_io.h>
 #include <palacios/vmm_io.h>
 #include <palacios/vmm_ctrl_regs.h>
 
 ;  -*- fundamental -*-
 
-;; Northwestern University 
 ;; (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> 
+;; (c) 2008, The V3VEE Project <http://www.v3vee.org>
 
 %ifndef SVM_ASM
 %define SVM_ASM
 
+/* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #include <palacios/svm_pause.h>
 #include <palacios/vmm_intr.h>
 
 
-/* Northwestern University */
 /* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <palacios/svm_wbinvd.h>
 #include <palacios/vmm_intr.h>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <palacios/vm_dev.h>
 #include <palacios/vmm.h>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <palacios/vm_guest.h>
 #include <palacios/vmm_ctrl_regs.h>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <palacios/vm_guest_mem.h>
 #include <palacios/vmm.h>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <palacios/vmcb.h>
 #include <palacios/vmm.h>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <palacios/vmcs.h>
 
 
+;; (c) 2008, Peter Dinda <pdinda@northwestern.edu> 
+;; (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> 
+;; (c) 2008, The V3VEE Project <http://www.v3vee.org> 
+
+
 %ifndef VMCS_FIELDS_ASM
 %define VMCS_FIELDS_ASM
 
 
+/* Automatically Generated File */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
+
 #include <palacios/vmcs_gen.h>
 
 
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <palacios/vmm.h>
 #include <palacios/svm.h>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <palacios/vmm_config.h>
 #include <palacios/vmm.h>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 
 #include <palacios/vmm_mem.h>
 #include <palacios/vmm.h>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 
 #include <palacios/vmm_debug.h>
 #include <palacios/vmm.h>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <palacios/vmm_decoder.h>
 
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 
 #include <palacios/vm_dev.h>
 #include <palacios/vmm_dev_mgr.h>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 
 #include <palacios/vmm.h>
 #include <palacios/vmm_emulator.h>
 
 /* Copyright (C) 2004 Christopher Clark <firstname.lastname@cl.cam.ac.uk> */
 /* Modifications made by Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
+
+
+
 
 #include <palacios/vmm.h>
 #include <palacios/vmm_hashtable.h>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <palacios/vmm_intr.h>
 #include <palacios/vmm.h>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <palacios/vmm_io.h>
 #include <palacios/vmm_string.h>
 
 ; -*- fundamental -*-
-;;  Northwestern University 
-;;  (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> 
+
+;; (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> 
+;; (c) 2008, The V3VEE Project <http://www.v3vee.org>
+
 
 %ifndef VMM_ASM
 %define VMM_ASM
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 
 #include <palacios/vmm_mem.h>
 #include <palacios/vmm.h>
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 
 #include <palacios/vmm_paging.h>
 
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 
 #include <palacios/vmm_queue.h>
 
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 
 #include <palacios/vmm_shadow_paging.h>
 
 
 /*
  * String library
  * Copyright (c) 2001,2004 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.2 $
  * 
  * This is free software.  You are permitted to use,
  * redistribute, and modify it as specified in the file "COPYING".
  */
 
+
+
+
 /*
  * NOTE:
  * These are slow and simple implementations of a subset of
 
 ; 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
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 
 #include "palacios/vmm_time.h"
 #include "palacios/vmm.h"
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 
 #include <palacios/vmm_util.h>
 
 
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 
 #ifdef __DECODER_TEST__
 #include "vmm_decoder.h"
 
-/* Northwestern University */
+/* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 
 /* Eventually  we want to get rid of these */
 
 
 ; -*- fundamental -*- 
 
-;; Northwestern University 
 ;; (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> 
+;; (c) 2008, The V3VEE Project <http://www.v3vee.org> 
+
 
 %ifndef VMX_ASM
 %define VMX_ASM