X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm_halt.c;h=9b95739be2c35325ed31927f44967129ac0b4103;hp=9dda4fd3187706645c102e3f63316db542158029;hb=4f7c3b759e3889870c5b5e7d09b3ffcc168e5632;hpb=f5486452ebcd63fb91e748b87dc051395cc0d861 diff --git a/palacios/src/palacios/svm_halt.c b/palacios/src/palacios/svm_halt.c index 9dda4fd..9b95739 100644 --- a/palacios/src/palacios/svm_halt.c +++ b/palacios/src/palacios/svm_halt.c @@ -1,3 +1,6 @@ +/* Northwestern University */ +/* (c) 2008, Peter Dinda */ + #include #include // From GeekOS