# 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