X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm_halt.c;h=9b95739be2c35325ed31927f44967129ac0b4103;hb=8070d96e5f67c6daf67b14dd8371d2b610596c16;hp=9dda4fd3187706645c102e3f63316db542158029;hpb=079f5cbdb29df4d0d48e830b2e214e5b8d73f018;p=palacios.releases.git 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