From: Peter Dinda <pdinda@northwestern.edu>
Date: Fri, 2 Aug 2013 20:45:44 +0000 (-0500)
Subject: Copyrights for lock and memory checking
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=2eb2545c44aa70adc2d1850b4d6b4e3b498042be;p=palacios.releases.git

Copyrights for lock and memory checking
---

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>
diff --git a/linux_module/memcheck.c b/linux_module/memcheck.c
index 9fcfa5d..b687850 100644
--- 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>