Index: kernel/doc/doxygroups.h
===================================================================
--- kernel/doc/doxygroups.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
+++ kernel/doc/doxygroups.h	(revision 46e886fb215db4c5bd1015c2bfd2c6d661dd93bd)
@@ -9,13 +9,9 @@
  */
 
-/** @defgroup main Kernel initialization
- * @ingroup others
- */
-
 /** @defgroup kernel_generic_console Kernel console
  * @ingroup others
  */
 
-/** @defgroup time Time management
+/** @defgroup kernel_time Time management
  * @ingroup kernel
  */
@@ -92,5 +88,5 @@
  */
 
-/** @defgroup sync Synchronization
+/** @defgroup kernel_sync Synchronization
  * @ingroup kernel
  */