X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmx_lowlevel.asm;h=eefe3e3632da447de37909bedae644e6615d7acf;hp=1916b557917bcdb85ae282c8840e57dcc4c3b900;hb=e70e95962c26832628d586e07f9cd1a2e1852d72;hpb=f1e128d5c205f347c43202e00492a14410ac43e6 diff --git a/palacios/src/palacios/vmx_lowlevel.asm b/palacios/src/palacios/vmx_lowlevel.asm index 1916b55..eefe3e3 100644 --- a/palacios/src/palacios/vmx_lowlevel.asm +++ b/palacios/src/palacios/vmx_lowlevel.asm @@ -1,8 +1,22 @@ ; -*- fundamental -*- - -;; (c) 2008, Jack Lange -;; (c) 2008, The V3VEE Project - +;; +;; 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, Jack Lange +;; Copyright (c) 2008, The V3VEE Project +;; All rights reserved. +;; +;; Author: Jack Lange +;; +;; This is free software. You are permitted to use, +;; redistribute, and modify it as specified in the file "V3VEE_LICENSE". +;; %ifndef VMX_ASM %define VMX_ASM