Index: kernel/generic/include/proc/scheduler.h
===================================================================
--- kernel/generic/include/proc/scheduler.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/generic/include/proc/scheduler.h	(revision 5b23a82c8d68ae8b01f1fbb9ace30e2377050d55)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericproc
+/** @addtogroup genericproc
  * @{
  */
@@ -70,5 +70,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/proc/task.h
===================================================================
--- kernel/generic/include/proc/task.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/generic/include/proc/task.h	(revision 5b23a82c8d68ae8b01f1fbb9ace30e2377050d55)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericproc
+/** @addtogroup genericproc
  * @{
  */
@@ -59,4 +59,5 @@
 	as_t *as;		/**< Address space. */
 	task_id_t taskid;	/**< Unique identity of task */
+	context_id_t context;	/**< Task security context */
 
 	/** If this is true, new threads can become part of the task. */
Index: kernel/generic/include/proc/thread.h
===================================================================
--- kernel/generic/include/proc/thread.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/generic/include/proc/thread.h	(revision 5b23a82c8d68ae8b01f1fbb9ace30e2377050d55)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericproc
+/** @addtogroup genericproc
  * @{
  */
@@ -147,4 +147,5 @@
 	int priority;				/**< Thread's priority. Implemented as index to CPU->rq */
 	uint32_t tid;				/**< Thread ID. */
+	context_id_t context;		/**< Thread security context */
 	
 	thread_arch_t arch;			/**< Architecture-specific data. */
@@ -193,5 +194,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/proc/uarg.h
===================================================================
--- kernel/generic/include/proc/uarg.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/generic/include/proc/uarg.h	(revision 5b23a82c8d68ae8b01f1fbb9ace30e2377050d55)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericproc
+/** @addtogroup genericproc
  * @{
  */
@@ -49,5 +49,4 @@
 #endif
 
- /** @}
+/** @}
  */
-