Index: kernel/arch/abs32le/include/arch/arch.h
===================================================================
--- kernel/arch/abs32le/include/arch/arch.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/include/arch/arch.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32le
+/** @addtogroup kernel_abs32le
  * @{
  */
Index: kernel/arch/abs32le/include/arch/asm.h
===================================================================
--- kernel/arch/abs32le/include/arch/asm.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/include/arch/asm.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32le
+/** @addtogroup kernel_abs32le
  * @{
  */
Index: kernel/arch/abs32le/include/arch/context.h
===================================================================
--- kernel/arch/abs32le/include/arch/context.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/include/arch/context.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32le
+/** @addtogroup kernel_abs32le
  * @{
  */
Index: kernel/arch/abs32le/include/arch/context_offset.h
===================================================================
--- kernel/arch/abs32le/include/arch/context_offset.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/include/arch/context_offset.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32le
+/** @addtogroup kernel_abs32le
  * @{
  */
Index: kernel/arch/abs32le/include/arch/cpu.h
===================================================================
--- kernel/arch/abs32le/include/arch/cpu.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/include/arch/cpu.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32le
+/** @addtogroup kernel_abs32le
  * @{
  */
Index: kernel/arch/abs32le/include/arch/cycle.h
===================================================================
--- kernel/arch/abs32le/include/arch/cycle.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/include/arch/cycle.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32le
+/** @addtogroup kernel_abs32le
  * @{
  */
Index: kernel/arch/abs32le/include/arch/elf.h
===================================================================
--- kernel/arch/abs32le/include/arch/elf.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/include/arch/elf.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32le
+/** @addtogroup kernel_abs32le
  * @{
  */
Index: kernel/arch/abs32le/include/arch/faddr.h
===================================================================
--- kernel/arch/abs32le/include/arch/faddr.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/include/arch/faddr.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32le
+/** @addtogroup kernel_abs32le
  * @{
  */
Index: kernel/arch/abs32le/include/arch/fpu_context.h
===================================================================
--- kernel/arch/abs32le/include/arch/fpu_context.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/include/arch/fpu_context.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32le
+/** @addtogroup kernel_abs32le
  * @{
  */
Index: kernel/arch/abs32le/include/arch/interrupt.h
===================================================================
--- kernel/arch/abs32le/include/arch/interrupt.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/include/arch/interrupt.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32leinterrupt
+/** @addtogroup kernel_abs32le_interrupt
  * @{
  */
Index: kernel/arch/abs32le/include/arch/istate.h
===================================================================
--- kernel/arch/abs32le/include/arch/istate.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/include/arch/istate.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32leinterrupt
+/** @addtogroup kernel_abs32le_interrupt
  * @{
  */
Index: kernel/arch/abs32le/include/arch/mm/as.h
===================================================================
--- kernel/arch/abs32le/include/arch/mm/as.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/include/arch/mm/as.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32lemm
+/** @addtogroup kernel_abs32le_mm
  * @{
  */
Index: kernel/arch/abs32le/include/arch/mm/asid.h
===================================================================
--- kernel/arch/abs32le/include/arch/mm/asid.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/include/arch/mm/asid.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32lemm
+/** @addtogroup kernel_abs32le_mm
  * @{
  */
Index: kernel/arch/abs32le/include/arch/mm/frame.h
===================================================================
--- kernel/arch/abs32le/include/arch/mm/frame.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/include/arch/mm/frame.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32lemm
+/** @addtogroup kernel_abs32le_mm
  * @{
  */
Index: kernel/arch/abs32le/include/arch/mm/km.h
===================================================================
--- kernel/arch/abs32le/include/arch/mm/km.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/include/arch/mm/km.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32lemm
+/** @addtogroup kernel_abs32le_mm
  * @{
  */
Index: kernel/arch/abs32le/include/arch/mm/page.h
===================================================================
--- kernel/arch/abs32le/include/arch/mm/page.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/include/arch/mm/page.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32lemm
+/** @addtogroup kernel_abs32le_mm
  * @{
  */
Index: kernel/arch/abs32le/include/arch/mm/tlb.h
===================================================================
--- kernel/arch/abs32le/include/arch/mm/tlb.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/include/arch/mm/tlb.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32lemm
+/** @addtogroup kernel_abs32le_mm
  * @{
  */
Index: kernel/arch/abs32le/include/arch/proc/task.h
===================================================================
--- kernel/arch/abs32le/include/arch/proc/task.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/include/arch/proc/task.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32leproc
+/** @addtogroup kernel_abs32le_proc
  * @{
  */
Index: kernel/arch/abs32le/include/arch/proc/thread.h
===================================================================
--- kernel/arch/abs32le/include/arch/proc/thread.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/include/arch/proc/thread.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32leproc
+/** @addtogroup kernel_abs32le_proc
  * @{
  */
Index: kernel/arch/abs32le/include/arch/stack.h
===================================================================
--- kernel/arch/abs32le/include/arch/stack.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/include/arch/stack.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32le
+/** @addtogroup kernel_abs32le
  * @{
  */
Index: kernel/arch/abs32le/include/arch/types.h
===================================================================
--- kernel/arch/abs32le/include/arch/types.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/include/arch/types.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32le
+/** @addtogroup kernel_abs32le
  * @{
  */
Index: kernel/arch/abs32le/src/abs32le.c
===================================================================
--- kernel/arch/abs32le/src/abs32le.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/src/abs32le.c	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32le
+/** @addtogroup kernel_abs32le
  * @{
  */
Index: kernel/arch/abs32le/src/cpu/cpu.c
===================================================================
--- kernel/arch/abs32le/src/cpu/cpu.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/src/cpu/cpu.c	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32le
+/** @addtogroup kernel_abs32le
  * @{
  */
Index: kernel/arch/abs32le/src/debug/stacktrace.c
===================================================================
--- kernel/arch/abs32le/src/debug/stacktrace.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/src/debug/stacktrace.c	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32le
+/** @addtogroup kernel_abs32le
  * @{
  */
Index: kernel/arch/abs32le/src/mm/as.c
===================================================================
--- kernel/arch/abs32le/src/mm/as.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/src/mm/as.c	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32lemm
+/** @addtogroup kernel_abs32le_mm
  * @{
  */
Index: kernel/arch/abs32le/src/mm/frame.c
===================================================================
--- kernel/arch/abs32le/src/mm/frame.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/src/mm/frame.c	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32lemm
+/** @addtogroup kernel_abs32le_mm
  * @{
  */
Index: kernel/arch/abs32le/src/mm/km.c
===================================================================
--- kernel/arch/abs32le/src/mm/km.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/src/mm/km.c	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32lemm
+/** @addtogroup kernel_abs32le_mm
  * @{
  */
Index: kernel/arch/abs32le/src/mm/page.c
===================================================================
--- kernel/arch/abs32le/src/mm/page.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/src/mm/page.c	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32lemm
+/** @addtogroup kernel_abs32le_mm
  * @{
  */
Index: kernel/arch/abs32le/src/mm/tlb.c
===================================================================
--- kernel/arch/abs32le/src/mm/tlb.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/src/mm/tlb.c	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32lemm
+/** @addtogroup kernel_abs32le_mm
  * @{
  */
Index: kernel/arch/abs32le/src/proc/scheduler.c
===================================================================
--- kernel/arch/abs32le/src/proc/scheduler.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/src/proc/scheduler.c	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32leproc
+/** @addtogroup kernel_abs32le_proc
  * @{
  */
Index: kernel/arch/abs32le/src/proc/task.c
===================================================================
--- kernel/arch/abs32le/src/proc/task.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/src/proc/task.c	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32leproc
+/** @addtogroup kernel_abs32le_proc
  * @{
  */
Index: kernel/arch/abs32le/src/proc/thread.c
===================================================================
--- kernel/arch/abs32le/src/proc/thread.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/src/proc/thread.c	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32leproc
+/** @addtogroup kernel_abs32le_proc
  * @{
  */
Index: kernel/arch/abs32le/src/smp/ipi.c
===================================================================
--- kernel/arch/abs32le/src/smp/ipi.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/src/smp/ipi.c	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32le
+/** @addtogroup kernel_abs32le
  * @{
  */
Index: kernel/arch/abs32le/src/smp/smp.c
===================================================================
--- kernel/arch/abs32le/src/smp/smp.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/src/smp/smp.c	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32le
+/** @addtogroup kernel_abs32le
  * @{
  */
Index: kernel/arch/abs32le/src/smp/smp_call.c
===================================================================
--- kernel/arch/abs32le/src/smp/smp_call.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/src/smp/smp_call.c	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32le
+/** @addtogroup kernel_abs32le
  * @{
  */
Index: kernel/arch/abs32le/src/userspace.c
===================================================================
--- kernel/arch/abs32le/src/userspace.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/abs32le/src/userspace.c	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32le
+/** @addtogroup kernel_abs32le
  * @{
  */