Index: kernel/generic/include/time/clock.h
===================================================================
--- kernel/generic/include/time/clock.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/generic/include/time/clock.h	(revision 0e8c1584adefcff10cbc443b9c7e6d09632b6bc9)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup time
+/** @addtogroup kernel_time
  * @{
  */
Index: kernel/generic/include/time/delay.h
===================================================================
--- kernel/generic/include/time/delay.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/generic/include/time/delay.h	(revision 0e8c1584adefcff10cbc443b9c7e6d09632b6bc9)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup time
+/** @addtogroup kernel_time
  * @{
  */
Index: kernel/generic/include/time/timeout.h
===================================================================
--- kernel/generic/include/time/timeout.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/generic/include/time/timeout.h	(revision 0e8c1584adefcff10cbc443b9c7e6d09632b6bc9)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup time
+/** @addtogroup kernel_time
  * @{
  */