Index: kernel/generic/src/adt/hash_table.c
===================================================================
--- kernel/generic/src/adt/hash_table.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/adt/hash_table.c	(revision 0bd66f54becee36742328f6280b521150f597f1a)
@@ -29,5 +29,5 @@
  */
 
-/** @addtogroup libc
+/** @addtogroup kernel_generic
  * @{
  */
Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/main/kinit.c	(revision 0bd66f54becee36742328f6280b521150f597f1a)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup main
+/** @addtogroup kernel_generic
  * @{
  */
Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/main/main.c	(revision 0bd66f54becee36742328f6280b521150f597f1a)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup main
+/** @addtogroup kernel_generic
  * @{
  */
Index: kernel/generic/src/main/shutdown.c
===================================================================
--- kernel/generic/src/main/shutdown.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/main/shutdown.c	(revision 0bd66f54becee36742328f6280b521150f597f1a)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup main
+/** @addtogroup kernel_generic
  * @{
  */
Index: kernel/generic/src/main/uinit.c
===================================================================
--- kernel/generic/src/main/uinit.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/main/uinit.c	(revision 0bd66f54becee36742328f6280b521150f597f1a)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup main
+/** @addtogroup kernel_generic
  * @{
  */
Index: kernel/generic/src/main/version.c
===================================================================
--- kernel/generic/src/main/version.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/main/version.c	(revision 0bd66f54becee36742328f6280b521150f597f1a)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup main
+/** @addtogroup kernel_generic
  * @{
  */
Index: kernel/generic/src/synch/condvar.c
===================================================================
--- kernel/generic/src/synch/condvar.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/synch/condvar.c	(revision 0bd66f54becee36742328f6280b521150f597f1a)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup sync
+/** @addtogroup kernel_sync
  * @{
  */
Index: kernel/generic/src/synch/futex.c
===================================================================
--- kernel/generic/src/synch/futex.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/synch/futex.c	(revision 0bd66f54becee36742328f6280b521150f597f1a)
@@ -28,5 +28,5 @@
  */
 
-/** @addtogroup sync
+/** @addtogroup kernel_sync
  * @{
  */
Index: kernel/generic/src/synch/mutex.c
===================================================================
--- kernel/generic/src/synch/mutex.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/synch/mutex.c	(revision 0bd66f54becee36742328f6280b521150f597f1a)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup sync
+/** @addtogroup kernel_sync
  * @{
  */
Index: kernel/generic/src/synch/rcu.c
===================================================================
--- kernel/generic/src/synch/rcu.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/synch/rcu.c	(revision 0bd66f54becee36742328f6280b521150f597f1a)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup sync
+/** @addtogroup kernel_sync
  * @{
  */
Index: kernel/generic/src/synch/semaphore.c
===================================================================
--- kernel/generic/src/synch/semaphore.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/synch/semaphore.c	(revision 0bd66f54becee36742328f6280b521150f597f1a)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup sync
+/** @addtogroup kernel_sync
  * @{
  */
Index: kernel/generic/src/synch/smc.c
===================================================================
--- kernel/generic/src/synch/smc.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/synch/smc.c	(revision 0bd66f54becee36742328f6280b521150f597f1a)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup sync
+/** @addtogroup kernel_sync
  * @{
  */
Index: kernel/generic/src/synch/spinlock.c
===================================================================
--- kernel/generic/src/synch/spinlock.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/synch/spinlock.c	(revision 0bd66f54becee36742328f6280b521150f597f1a)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup sync
+/** @addtogroup kernel_sync
  * @{
  */
Index: kernel/generic/src/synch/waitq.c
===================================================================
--- kernel/generic/src/synch/waitq.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/synch/waitq.c	(revision 0bd66f54becee36742328f6280b521150f597f1a)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup sync
+/** @addtogroup kernel_sync
  * @{
  */
Index: kernel/generic/src/time/clock.c
===================================================================
--- kernel/generic/src/time/clock.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/time/clock.c	(revision 0bd66f54becee36742328f6280b521150f597f1a)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup time
+/** @addtogroup kernel_time
  * @{
  */
Index: kernel/generic/src/time/delay.c
===================================================================
--- kernel/generic/src/time/delay.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/time/delay.c	(revision 0bd66f54becee36742328f6280b521150f597f1a)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup time
+/** @addtogroup kernel_time
  * @{
  */
Index: kernel/generic/src/time/timeout.c
===================================================================
--- kernel/generic/src/time/timeout.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/time/timeout.c	(revision 0bd66f54becee36742328f6280b521150f597f1a)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup time
+/** @addtogroup kernel_time
  * @{
  */