Index: generic/src/main/kinit.c
===================================================================
--- generic/src/main/kinit.c	(revision 7f0837cc107de409715135bd7cdfd7724b6e37a9)
+++ generic/src/main/kinit.c	(revision 69a5600600477ae968b08bfe68aa8032066bb55f)
@@ -25,4 +25,15 @@
  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+ */
+
+/**
+ * @file	kinit.c
+ * @brief	Kernel initialization thread.
+ *
+ * This file contains kinit kernel thread which carries out
+ * high level system initialization.
+ *
+ * This file is responsible for finishing SMP configuration
+ * and creation of userspace init tasks.
  */
 
Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision 7f0837cc107de409715135bd7cdfd7724b6e37a9)
+++ generic/src/main/main.c	(revision 69a5600600477ae968b08bfe68aa8032066bb55f)
@@ -25,4 +25,20 @@
  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+ */
+
+/**
+ * @file	main.c
+ * @brief 	Main initialization kernel function for all processors.
+ *
+ * During kernel boot, all processors, after architecture dependent
+ * initialization, start executing code found in this file. After
+ * bringing up all subsystems, control is passed to scheduler().
+ *
+ * The bootstrap processor starts executing main_bsp() while
+ * the application processors start executing main_ap().
+ *
+ * @see scheduler()
+ * @see main_bsp()
+ * @see main_ap()
  */
 
Index: generic/src/main/uinit.c
===================================================================
--- generic/src/main/uinit.c	(revision 7f0837cc107de409715135bd7cdfd7724b6e37a9)
+++ generic/src/main/uinit.c	(revision 69a5600600477ae968b08bfe68aa8032066bb55f)
@@ -27,4 +27,14 @@
  */
 
+/**
+ * @file	uinit.c
+ * @brief	Userspace bootstrap thread.
+ *
+ * This file contains uinit kernel thread wich is used to start every
+ * userspace thread including threads created by SYS_THREAD_CREATE syscall.
+ *
+ * @see SYS_THREAD_CREATE
+ */
+ 
 #include <main/uinit.h>
 #include <arch/types.h>