Index: src/cpu/cpu.c
===================================================================
--- src/cpu/cpu.c	(revision 434f70064e8cdd91151e8fb0d22ace8f4eeb9ccc)
+++ src/cpu/cpu.c	(revision b0bf5012e7a657969b61b900eb1f1446c6e3acae)
@@ -44,4 +44,10 @@
 cpu_t *cpus;
 
+
+/** Initialize CPUs
+ *
+ * Initialize kernel CPUs support.
+ *
+ */
 void cpu_init(void) {
 	int i, j;