X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm_halt.c;h=2f5157b1ef28b06aeccf3fe6c5d8007d71cc07a1;hp=9b95739be2c35325ed31927f44967129ac0b4103;hb=101529b6eae500272347287df43ec51aa003d0aa;hpb=4f7c3b759e3889870c5b5e7d09b3ffcc168e5632 diff --git a/palacios/src/palacios/svm_halt.c b/palacios/src/palacios/svm_halt.c index 9b95739..2f5157b 100644 --- a/palacios/src/palacios/svm_halt.c +++ b/palacios/src/palacios/svm_halt.c @@ -1,5 +1,7 @@ -/* Northwestern University */ /* (c) 2008, Peter Dinda */ +/* (c) 2008, Jack Lange */ +/* (c) 2008, The V3VEE Project */ + #include #include