Copyrights for lock and memory checking

diff --git a/linux_module/lockcheck.c b/linux_module/lockcheck.c
index 93de151..a921abd 100644 (file)
--- 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>

diff --git a/linux_module/memcheck.c b/linux_module/memcheck.c
index 9fcfa5d..b687850 100644 (file)
--- a/linux_module/memcheck.c
+++ b/linux_module/memcheck.c
@@ -1,3 +1,8 @@
+/* 
+   Palacios memory allocation-checking framework
+   (c) Peter Dinda, 2013
+ */
+
 #include <linux/kernel.h>
 #include <linux/kthread.h>
 #include <linux/spinlock.h>