Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


modified copyright tags
Jack Lange [Thu, 25 Sep 2008 23:56:33 +0000 (18:56 -0500)]
115 files changed:
palacios/build/Makefile
palacios/include/devices/8237_dma.h
palacios/include/devices/8254.h
palacios/include/devices/8259a.h
palacios/include/devices/generic.h
palacios/include/devices/keyboard.h
palacios/include/devices/nvram.h
palacios/include/devices/serial.h
palacios/include/devices/simple_pic.h
palacios/include/devices/timer.h
palacios/include/geekos/bootinfo.h
palacios/include/geekos/debug.h
palacios/include/geekos/list2.h
palacios/include/geekos/net.h
palacios/include/geekos/pci.h
palacios/include/geekos/queue.h
palacios/include/geekos/reboot.h
palacios/include/geekos/ring_buffer.h
palacios/include/geekos/serial.h
palacios/include/geekos/socket.h
palacios/include/geekos/timer.h
palacios/include/geekos/vm.h
palacios/include/geekos/vmm_stubs.h
palacios/include/palacios/svm.h
palacios/include/palacios/svm_halt.h
palacios/include/palacios/svm_handler.h
palacios/include/palacios/svm_io.h
palacios/include/palacios/svm_pause.h
palacios/include/palacios/svm_wbinvd.h
palacios/include/palacios/vm_dev.h
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vm_guest_mem.h
palacios/include/palacios/vmcb.h
palacios/include/palacios/vmcs.h
palacios/include/palacios/vmcs_gen.h
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_config.h
palacios/include/palacios/vmm_ctrl_regs.h
palacios/include/palacios/vmm_debug.h
palacios/include/palacios/vmm_decoder.h
palacios/include/palacios/vmm_dev_mgr.h
palacios/include/palacios/vmm_emulator.h
palacios/include/palacios/vmm_hashtable.h
palacios/include/palacios/vmm_intr.h
palacios/include/palacios/vmm_io.h
palacios/include/palacios/vmm_list.h
palacios/include/palacios/vmm_mem.h
palacios/include/palacios/vmm_paging.h
palacios/include/palacios/vmm_queue.h
palacios/include/palacios/vmm_shadow_paging.h
palacios/include/palacios/vmm_string.h
palacios/include/palacios/vmm_time.h
palacios/include/palacios/vmm_types.h
palacios/include/palacios/vmm_util.h
palacios/include/palacios/vmm_xed.h
palacios/include/palacios/vmx.h
palacios/src/devices/8237_dma.c
palacios/src/devices/8254.c
palacios/src/devices/8259a.c
palacios/src/devices/generic.c
palacios/src/devices/keyboard.c
palacios/src/devices/nvram.c
palacios/src/devices/serial.c
palacios/src/devices/simple_pic.c
palacios/src/devices/timer.c
palacios/src/geekos/debug.c
palacios/src/geekos/mem.c
palacios/src/geekos/net.c
palacios/src/geekos/paging.c
palacios/src/geekos/pci.c
palacios/src/geekos/queue.c
palacios/src/geekos/reboot.c
palacios/src/geekos/ring_buffer.c
palacios/src/geekos/serial.c
palacios/src/geekos/setup.asm
palacios/src/geekos/socket.c
palacios/src/geekos/timer.c
palacios/src/geekos/vm.c
palacios/src/geekos/vmm_stubs.c
palacios/src/palacios/svm.c
palacios/src/palacios/svm_halt.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/svm_io.c
palacios/src/palacios/svm_lowlevel.asm
palacios/src/palacios/svm_pause.c
palacios/src/palacios/svm_wbinvd.c
palacios/src/palacios/vm_dev.c
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vm_guest_mem.c
palacios/src/palacios/vmcb.c
palacios/src/palacios/vmcs.c
palacios/src/palacios/vmcs_fields.asm
palacios/src/palacios/vmcs_gen.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_debug.c
palacios/src/palacios/vmm_decoder.c
palacios/src/palacios/vmm_dev_mgr.c
palacios/src/palacios/vmm_emulator.c
palacios/src/palacios/vmm_hashtable.c
palacios/src/palacios/vmm_intr.c
palacios/src/palacios/vmm_io.c
palacios/src/palacios/vmm_lowlevel.asm
palacios/src/palacios/vmm_mem.c
palacios/src/palacios/vmm_paging.c
palacios/src/palacios/vmm_queue.c
palacios/src/palacios/vmm_shadow_paging.c
palacios/src/palacios/vmm_string.c
palacios/src/palacios/vmm_symbol.asm
palacios/src/palacios/vmm_time.c
palacios/src/palacios/vmm_util.c
palacios/src/palacios/vmm_xed.c
palacios/src/palacios/vmx.c
palacios/src/palacios/vmx_lowlevel.asm

index 3570f46..12ae684 100644 (file)
@@ -1,9 +1,11 @@
 # 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 $
index 9c3ebe7..046a44a 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index 893be3a..f9a12f3 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index cca10e1..5c17073 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index abd4b5e..c4a38b6 100644 (file)
@@ -1,5 +1,5 @@
-/* Northwestern University */
 /* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __GENERIC_H
 #define __GENERIC_H
index 6dff1da..3b410af 100644 (file)
@@ -1,5 +1,5 @@
-/* Northwestern University */
 /* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __KEYBOARD_H
 #define __KEYBOARD_H
index f5c4f2e..3e09760 100644 (file)
@@ -1,5 +1,5 @@
-/* Northwestern University */
 /* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #ifndef __NVRAM_H
 #define __NVRAM_H
index 229e32d..d8e62e9 100644 (file)
@@ -1,5 +1,5 @@
-/* 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__
index 45740bf..e6eaf65 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index 8815e33..bf7e86b 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index 8583f84..9d2bb31 100644 (file)
@@ -1,6 +1,8 @@
 /*
  * 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,
index a94610a..065aae8 100644 (file)
@@ -1,3 +1,7 @@
+/* (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
 
index b76193b..a21e074 100644 (file)
@@ -1,3 +1,6 @@
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef _LIST2_H
 #define _LIST2_H
 
index dbb7741..360ee6b 100644 (file)
@@ -1,3 +1,6 @@
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef __NET_H__
 #define __NET_H__
 
index 1dd5e5e..43afb70 100644 (file)
@@ -1,3 +1,6 @@
+/* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef GEEKOS_PCI_H
 #define GEEKOS_PCI_H
 
index a731e91..5ad7f05 100644 (file)
@@ -1,3 +1,6 @@
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef __QUEUE_H__
 #define __QUEUE_H__
 
index e954a2c..101b460 100644 (file)
@@ -1,3 +1,6 @@
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef REBOOT_H
 #define REBOOT_H
 
index 1e8f4b5..e284e06 100644 (file)
@@ -1,3 +1,6 @@
+/* (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__
 
index 2389ed6..9588f2a 100644 (file)
@@ -1,3 +1,8 @@
+/* (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
 
index 80dac37..1b839d6 100644 (file)
@@ -1,3 +1,6 @@
+/* (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
 
index bf09464..768a31b 100644 (file)
@@ -1,6 +1,8 @@
 /*
  * 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,
index e8558c0..28c772f 100644 (file)
@@ -1,3 +1,6 @@
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef __VM_H
 #define __VM_H
 
index 3688ba9..aedb3e3 100644 (file)
@@ -1,3 +1,6 @@
+/* (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
 
index 97d6bd3..22cb157 100644 (file)
@@ -1,5 +1,6 @@
-/* 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
index 8e48d84..2a4ad85 100644 (file)
@@ -1,3 +1,7 @@
+/* (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
 
index abe3b79..a0e54ed 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index 722183f..b2b1f58 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index 0b122ec..e92150b 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index 1260386..db8081a 100644 (file)
@@ -1,3 +1,6 @@
+/* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef __SVM_WBINVD_H
 #define __SVM_WBINVD_H
 
index e5f699a..cae6f1f 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index 224bc33..5b37d8f 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index 41961ba..4f17c5b 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index 05b252d..5728c74 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index 28a947a..01d6ba2 100644 (file)
@@ -1,5 +1,6 @@
-/* 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
index 5a07922..467ae78 100644 (file)
@@ -1,3 +1,6 @@
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
+
 #ifndef vmcs_gen
 #define vmcs_gen
 #include <palacios/vmcs.h>
index 977cd0d..cf02258 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index aa1b05f..1b41387 100644 (file)
@@ -1,5 +1,5 @@
-/* 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__
index 973fb07..96d5d16 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index 31f3dcc..5424ab7 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index 0d4fbba..b6e65e6 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index 1d43578..17a3370 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index 4bba7ee..55d1c23 100644 (file)
@@ -1,5 +1,5 @@
-/* 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__
index 9e81e4f..380af91 100644 (file)
@@ -1,5 +1,8 @@
 /* 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__
index faf39f0..5c6b29b 100644 (file)
@@ -1,5 +1,5 @@
-/* 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_
index 1154499..b1e211c 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index 4a69287..95da489 100644 (file)
@@ -1,5 +1,7 @@
 /* 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
index 83bba61..c625744 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index 94e034b..e11a452 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index 82f8002..f66d06c 100644 (file)
@@ -1,5 +1,5 @@
-/* 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__
index 9766107..330f7ab 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index 7246cef..1f33de1 100644 (file)
@@ -1,6 +1,8 @@
-/*
- * 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,
index a2faab0..ccc7775 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index c9e4744..623446f 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index 6256027..3bc3fa4 100644 (file)
@@ -1,5 +1,5 @@
-/* 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
index 559fac5..0b2ee0c 100644 (file)
@@ -1,5 +1,5 @@
-/* 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__
index e0691b7..3b40784 100644 (file)
@@ -1,5 +1,6 @@
-/* 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
index 00c91c5..43453d8 100644 (file)
@@ -1,5 +1,5 @@
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <devices/8237_dma.h>
 
index 8bb2e76..e6ddd52 100644 (file)
@@ -1,5 +1,5 @@
-/* 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>
index f695d5d..6fe165e 100644 (file)
@@ -1,5 +1,5 @@
-/* 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>
index e397cd2..3734a56 100644 (file)
@@ -1,5 +1,5 @@
-/* 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>
index 39accf5..73bd992 100644 (file)
@@ -1,5 +1,5 @@
-/* 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>
index 332c88d..da76b67 100644 (file)
@@ -1,5 +1,5 @@
-/* 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>
index d41bc8d..5186b55 100644 (file)
@@ -1,5 +1,5 @@
-/* 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>
index bbc58f3..cedec2a 100644 (file)
@@ -1,5 +1,5 @@
-/* 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>
index 59198ba..f008eb4 100644 (file)
@@ -1,5 +1,5 @@
-/* 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>
index 513273a..e253a93 100644 (file)
@@ -1,5 +1,5 @@
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <geekos/debug.h>
 
index b7ae026..7bfb8aa 100644 (file)
@@ -3,6 +3,7 @@
  * 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,
index cdbc500..dedb156 100644 (file)
@@ -1,5 +1,7 @@
-/* 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>
index 6618642..5aab5b1 100644 (file)
@@ -2,6 +2,9 @@
  * 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,
index 1df608d..736a75b 100644 (file)
@@ -1,5 +1,5 @@
-/* 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>
index 44530a4..675df3b 100644 (file)
@@ -1,5 +1,5 @@
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <geekos/queue.h>
 
index d176440..f6fbdf7 100644 (file)
@@ -1,5 +1,5 @@
-/* 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>
index cde7c2b..71d4dc7 100644 (file)
@@ -1,5 +1,5 @@
-/* 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>
index d499918..2f49f6d 100644 (file)
@@ -1,3 +1,7 @@
+/* (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>
index 727f1d7..df10834 100644 (file)
@@ -1,7 +1,9 @@
 ; -*- 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,
index 1fc868c..0d6fd37 100644 (file)
@@ -1,6 +1,6 @@
-/* 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>
index 17d6f1c..d3d4a6a 100644 (file)
@@ -2,7 +2,8 @@
  * 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,
index 89fb693..1744208 100644 (file)
@@ -1,5 +1,5 @@
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <geekos/vmm_stubs.h>
 
index 20c0c71..871009f 100644 (file)
@@ -1,5 +1,5 @@
-/* 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>
index 2e720da..9999eea 100644 (file)
@@ -1,6 +1,5 @@
-/* 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>
index 9b95739..2f5157b 100644 (file)
@@ -1,5 +1,7 @@
-/* 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>
index 63f09ba..5bc0ff0 100644 (file)
@@ -1,5 +1,5 @@
-/* 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>
index 2bffb45..5856b72 100644 (file)
@@ -1,5 +1,7 @@
-/* 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>
index b2966fe..c407a8e 100644 (file)
@@ -1,7 +1,7 @@
 ;  -*- 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
index a6fadca..9c052cd 100644 (file)
@@ -1,3 +1,6 @@
+/* (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>
 
index 1752e09..abee782 100644 (file)
@@ -1,5 +1,5 @@
-/* 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>
index 8ed8147..441c6bf 100644 (file)
@@ -1,5 +1,5 @@
-/* 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>
index 5dcf707..3572ee5 100644 (file)
@@ -1,5 +1,5 @@
-/* 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>
index 07679bd..63f6037 100644 (file)
@@ -1,5 +1,5 @@
-/* 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>
index b92c371..02b6050 100644 (file)
@@ -1,5 +1,5 @@
-/* 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>
index 2a4ef97..68bec91 100644 (file)
@@ -1,5 +1,5 @@
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <palacios/vmcs.h>
 
index f354cf1..9661a4c 100644 (file)
@@ -1,3 +1,8 @@
+;; (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
 
index cc7ad8f..3a81012 100644 (file)
@@ -1,3 +1,7 @@
+/* Automatically Generated File */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
+
 #include <palacios/vmcs_gen.h>
 
 
index b7429b0..6eb6de3 100644 (file)
@@ -1,5 +1,5 @@
-/* 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>
index 5bac0d4..ccd4a63 100644 (file)
@@ -1,5 +1,5 @@
-/* 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>
index 5bf6dc1..26272cc 100644 (file)
@@ -1,5 +1,6 @@
-/* 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>
index b3c14b9..3d71204 100644 (file)
@@ -1,5 +1,6 @@
-/* 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>
index e859ee5..26b5e91 100644 (file)
@@ -1,5 +1,5 @@
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
 #include <palacios/vmm_decoder.h>
 
index 02c3c9c..daea57c 100644 (file)
@@ -1,5 +1,6 @@
-/* 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>
index 8fa480b..8d81ece 100644 (file)
@@ -1,5 +1,6 @@
-/* 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>
index 533eaf6..1d626cd 100644 (file)
@@ -1,5 +1,11 @@
 /* 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>
index 96caa7c..242d63b 100644 (file)
@@ -1,5 +1,5 @@
-/* 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>
index fa17c53..a73fae4 100644 (file)
@@ -1,5 +1,5 @@
-/* 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>
index 4eab223..d4df033 100644 (file)
@@ -1,6 +1,8 @@
 ; -*- 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
index 0700683..3c7f5a7 100644 (file)
@@ -1,5 +1,6 @@
-/* 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>
index 127ec45..0d6e9ea 100644 (file)
@@ -1,5 +1,6 @@
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 
 #include <palacios/vmm_paging.h>
 
index 8a90edc..cd06790 100644 (file)
@@ -1,5 +1,6 @@
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 
 #include <palacios/vmm_queue.h>
 
index e9a8cff..05d913d 100644 (file)
@@ -1,5 +1,6 @@
-/* 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>
 
index 18722e5..af912b4 100644 (file)
@@ -1,12 +1,17 @@
 /*
  * 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
index cd9841e..aa59fc8 100644 (file)
@@ -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
index 0a719c5..2bb88b3 100644 (file)
@@ -1,5 +1,6 @@
-/* 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"
index 3e3e388..950d085 100644 (file)
@@ -1,5 +1,6 @@
-/* Northwestern University */
 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 
 #include <palacios/vmm_util.h>
 
index 140ecb6..be22914 100644 (file)
@@ -1,5 +1,6 @@
-/* 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"
index e60eb49..47919b8 100644 (file)
@@ -1,5 +1,7 @@
-/* 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 */
 
index e40ace7..1916b55 100644 (file)
@@ -1,7 +1,8 @@
 ; -*- 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