X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Flockcheck.c;h=a921abd2bff39ffe71eb885eb320c2c03feb6cbb;hb=198151f1d58834ff7889389007232a3d250f51f1;hp=93de15182d27c545efeb09a596e1d826345cdbc9;hpb=22624275a90f9850c0c18c54fe27954545e9df9c;p=palacios.git

diff --git a/linux_module/lockcheck.c b/linux_module/lockcheck.c
index 93de151..a921abd 100644
--- a/linux_module/lockcheck.c
+++ b/linux_module/lockcheck.c
@@ -1,3 +1,8 @@
+/* 
+   Palacios lock-checking framework
+   (c) Peter Dinda, 2013
+ */
+
 #include <linux/kernel.h>
 #include <linux/kthread.h>
 #include <linux/spinlock.h>