ap.c, futex.c, jhash.h, timer.c, waitq.c copyrights

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>

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:
+ *
  */
 
 /*

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. */

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>

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>