From dcea4fefb354f9330a99d95d186e0d355b67f0a5 Mon Sep 17 00:00:00 2001
From: "Balazs Gerofi bgerofi@riken.jp" <bgerofi@kncc-login1.(none)>
Date: Thu, 14 Nov 2013 16:20:08 +0900
Subject: [PATCH] ap.c, futex.c, jhash.h, timer.c, waitq.c copyrights

---
 kernel/ap.c            | 18 ++++++++++++++++++
 kernel/futex.c         | 17 +++++++++++++----
 kernel/include/jhash.h | 17 +++++++++++++++--
 kernel/timer.c         | 11 +++++++++++
 kernel/waitq.c         | 14 ++++++++++++--
 5 files changed, 69 insertions(+), 8 deletions(-)

diff --git a/kernel/ap.c b/kernel/ap.c
index 065dd3e7..8118a2c9 100644
--- a/kernel/ap.c
+++ b/kernel/ap.c
@@ -1,3 +1,21 @@
+/**
+ * \file ap.c
+ * Licence details are found in the file LICENSE.
+ *  
+ * \brief
+ * Initiallization code for CPU cores other than the boot core. 
+ *
+ * \author Taku Shimosawa  <shimosawa@is.s.u-tokyo.ac.jp> \par
+ * Copyright (C) 2011 - 2012  Taku Shimosawa
+ * 
+ * \author Balazs Gerofi  <bgerofi@riken.jp> \par
+ * Copyright (C) 2012  RIKEN AICS
+ *
+ *
+ * HISTORY:
+ *  2012/10/10: bgerofi - enable syscall channels for all MIC cores
+ *
+ */
 #include <types.h>
 #include <kmsg.h>
 #include <ihk/cpu.h>
diff --git a/kernel/futex.c b/kernel/futex.c
index 19fc874e..828ac6bb 100644
--- a/kernel/futex.c
+++ b/kernel/futex.c
@@ -1,7 +1,16 @@
-/*
- * Linux futex adaptation.
- * (C) Copyright 2013 RIKEN AICS
- * Balazs Gerofi <bgerofi@riken.jp>
+/**
+ * \file futex.c
+ * Licence details are found in the file LICENSE.
+ *  
+ * \brief
+ * Futex adaptation to McKernel
+ *
+ * \author Balazs Gerofi  <bgerofi@riken.jp> \par
+ * Copyright (C) 2012  RIKEN AICS
+ *
+ *
+ * HISTORY:
+ *
  */
 
 /*
diff --git a/kernel/include/jhash.h b/kernel/include/jhash.h
index a026476d..d1231ff9 100644
--- a/kernel/include/jhash.h
+++ b/kernel/include/jhash.h
@@ -1,8 +1,20 @@
 #ifndef _LINUX_JHASH_H
 #define _LINUX_JHASH_H
-
-/* RIKEN: u32 replaced to uint32_t
+/**
+ * \file futex.c
+ * Licence details are found in the file LICENSE.
+ *  
+ * \brief
+ * Adaptation to McKernel
  *
+ * \author Balazs Gerofi  <bgerofi@riken.jp> \par
+ * Copyright (C) 2012  RIKEN AICS
+ *
+ *
+ * HISTORY:
+ */
+
+/* 
  * jhash.h: Jenkins hash support.
  *
  * Copyright (C) 1996 Bob Jenkins (bob_jenkins@burtleburtle.net)
@@ -20,6 +32,7 @@
  *
  * I've modified Bob's hash to be useful in the Linux kernel, and
  * any bugs present are surely my fault.  -DaveM
+ * 
  */
 
 /* NOTE: Arguments are modified. */
diff --git a/kernel/timer.c b/kernel/timer.c
index 08653518..f8286917 100644
--- a/kernel/timer.c
+++ b/kernel/timer.c
@@ -1,3 +1,14 @@
+/**
+ * \file timer.c
+ * Licence details are found in the file LICENSE.
+ *  
+ * \brief
+ * Simple spinning timer for timeout support in futex.
+ *
+ * \author Balazs Gerofi  <bgerofi@is.s.u-tokyo.ac.jp> \par
+ * Copyright (C) 2013  The University of Tokyo
+ *
+ */
 #include <types.h>
 #include <kmsg.h>
 #include <ihk/cpu.h>
diff --git a/kernel/waitq.c b/kernel/waitq.c
index bbff41c4..92d12e2d 100644
--- a/kernel/waitq.c
+++ b/kernel/waitq.c
@@ -1,5 +1,15 @@
-
-/* Kitten waitqueue adaptation */
+/**
+ * \file waitq.c
+ * Licence details are found in the file LICENSE.
+ *  
+ * \brief
+ * Waitqueue adaptation from Sandia's Kitten OS 
+ * (originally taken from Linux)
+ *
+ * \author Balazs Gerofi  <bgerofi@riken.jp> \par
+ * Copyright (C) 2012  RIKEN AICS
+ *
+ */
 
 #include <waitq.h>
 #include <process.h>