Index: generic/src/main/kinit.c
===================================================================
--- generic/src/main/kinit.c	(revision f4338d2fac6a4e6b6236f00ee0b78b29bc920b0a)
+++ generic/src/main/kinit.c	(revision 060ce905aa684db7143cae387bb04b280dda1bd8)
@@ -58,6 +58,12 @@
 #endif /* CONFIG_TEST */
 
-
-
+/** Kernel initialization thread.
+ *
+ * kinit takes care of higher level kernel
+ * initialization (i.e. thread creation,
+ * userspace initialization etc.).
+ *
+ * @param arg Not used.
+ */
 void kinit(void *arg)
 {
Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision f4338d2fac6a4e6b6236f00ee0b78b29bc920b0a)
+++ generic/src/main/main.c	(revision 060ce905aa684db7143cae387bb04b280dda1bd8)
@@ -77,6 +77,6 @@
 context_t ctx;
 
-/*
- * These 'hardcoded' variables will be intialised by
+/**
+ * These 'hardcoded' variables will be intialized by
  * the linker or the low level assembler code with
  * appropriate sizes and addresses.
@@ -89,10 +89,10 @@
 size_t init_size = 0;
 
-/*
+/**
  * Size of memory in bytes taken by kernel and heap.
  */
 static size_t kernel_size;
 
-/*
+/**
  * Size of heap.
  */
@@ -100,5 +100,5 @@
 
 
-/*
+/**
  * Extra space between heap and stack
  * enforced by alignment requirements.