X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmcs_fields.asm;h=61d7c8e61a2c6453792add641e32a6b526438547;hb=cc8a46c3523fd92c97fae8ba2433119a91a86441;hp=9661a4ccd0b977e4e841175f504a7abc0075154e;hpb=56f8088296ee4116a4811a2f4f843edd80a7748d;p=palacios.git diff --git a/palacios/src/palacios/vmcs_fields.asm b/palacios/src/palacios/vmcs_fields.asm index 9661a4c..61d7c8e 100644 --- a/palacios/src/palacios/vmcs_fields.asm +++ b/palacios/src/palacios/vmcs_fields.asm @@ -1,8 +1,24 @@ -;; (c) 2008, Peter Dinda -;; (c) 2008, Jack Lange -;; (c) 2008, The V3VEE Project - - +; -*- fundamental -*- +;; +;; This file is part of the Palacios Virtual Machine Monitor developed +;; by the V3VEE Project with funding from the United States National +;; Science Foundation and the Department of Energy. +;; +;; The V3VEE Project is a joint project between Northwestern University +;; and the University of New Mexico. You can find out more at +;; http://www.v3vee.org +;; +;; Copyright (c) 2008, Peter Dinda +;; Copyright (c) 2008, Jack Lange +;; Copyright (c) 2008, The V3VEE Project +;; All rights reserved. +;; +;; Author: Peter Dinda +;; Jack Lange +;; +;; This is free software. You are permitted to use, +;; redistribute, and modify it as specified in the file "V3VEE_LICENSE". +;; %ifndef VMCS_FIELDS_ASM %define VMCS_FIELDS_ASM