X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmcs_fields.asm;h=61d7c8e61a2c6453792add641e32a6b526438547;hb=bba3c2474e4c2bffe6b8c34d888700f4793cc7af;hp=f354cf1c8e92341486102fff12b2a94b811d4004;hpb=a109eb919a162bd7de58d62020801bc2e633be50;p=palacios.git diff --git a/palacios/src/palacios/vmcs_fields.asm b/palacios/src/palacios/vmcs_fields.asm index f354cf1..61d7c8e 100644 --- a/palacios/src/palacios/vmcs_fields.asm +++ b/palacios/src/palacios/vmcs_fields.asm @@ -1,3 +1,24 @@ +; -*- 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