Index: kernel/arch/ia32/src/bios/bios.c
===================================================================
--- kernel/arch/ia32/src/bios/bios.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/bios/bios.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32
+/** @addtogroup kernel_ia32
  * @{
  */
Index: kernel/arch/ia32/src/boot/memmap.c
===================================================================
--- kernel/arch/ia32/src/boot/memmap.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/boot/memmap.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32mm
+/** @addtogroup kernel_ia32_mm
  * @{
  */
Index: kernel/arch/ia32/src/cpu/cpu.c
===================================================================
--- kernel/arch/ia32/src/cpu/cpu.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/cpu/cpu.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32
+/** @addtogroup kernel_ia32
  * @{
  */
Index: kernel/arch/ia32/src/ddi/ddi.c
===================================================================
--- kernel/arch/ia32/src/ddi/ddi.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/ddi/ddi.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32ddi
+/** @addtogroup kernel_ia32_ddi
  * @{
  */
Index: kernel/arch/ia32/src/debug/stacktrace.c
===================================================================
--- kernel/arch/ia32/src/debug/stacktrace.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/debug/stacktrace.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32
+/** @addtogroup kernel_ia32
  * @{
  */
Index: kernel/arch/ia32/src/drivers/i8254.c
===================================================================
--- kernel/arch/ia32/src/drivers/i8254.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/drivers/i8254.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32
+/** @addtogroup kernel_ia32
  * @{
  */
Index: kernel/arch/ia32/src/drivers/i8259.c
===================================================================
--- kernel/arch/ia32/src/drivers/i8259.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/drivers/i8259.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32
+/** @addtogroup kernel_ia32
  * @{
  */
Index: kernel/arch/ia32/src/fpu_context.c
===================================================================
--- kernel/arch/ia32/src/fpu_context.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/fpu_context.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32
+/** @addtogroup kernel_ia32
  * @{
  */
Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/ia32.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -29,5 +29,5 @@
  */
 
-/** @addtogroup ia32
+/** @addtogroup kernel_ia32
  * @{
  */
Index: kernel/arch/ia32/src/interrupt.c
===================================================================
--- kernel/arch/ia32/src/interrupt.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/interrupt.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32interrupt
+/** @addtogroup kernel_ia32_interrupt
  * @{
  */
Index: kernel/arch/ia32/src/mm/as.c
===================================================================
--- kernel/arch/ia32/src/mm/as.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/mm/as.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,9 +27,9 @@
  */
 
-/** @addtogroup ia32mm
+/** @addtogroup kernel_ia32_mm
  * @{
  */
 /** @file
- * @ingroup ia32mm, amd64mm
+ * @ingroup kernel_ia32_mm, kernel_amd64_mm
  */
 
Index: kernel/arch/ia32/src/mm/frame.c
===================================================================
--- kernel/arch/ia32/src/mm/frame.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/mm/frame.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,9 +27,9 @@
  */
 
-/** @addtogroup ia32mm
+/** @addtogroup kernel_ia32_mm
  * @{
  */
 /** @file
- * @ingroup ia32mm, amd64mm
+ * @ingroup kernel_ia32_mm, kernel_amd64_mm
  */
 
Index: kernel/arch/ia32/src/mm/km.c
===================================================================
--- kernel/arch/ia32/src/mm/km.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/mm/km.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32mm
+/** @addtogroup kernel_ia32_mm
  * @{
  */
Index: kernel/arch/ia32/src/mm/page.c
===================================================================
--- kernel/arch/ia32/src/mm/page.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/mm/page.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32mm
+/** @addtogroup kernel_ia32_mm
  * @{
  */
Index: kernel/arch/ia32/src/mm/tlb.c
===================================================================
--- kernel/arch/ia32/src/mm/tlb.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/mm/tlb.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,9 +27,9 @@
  */
 
-/** @addtogroup ia32mm
+/** @addtogroup kernel_ia32_mm
  * @{
  */
 /** @file
- * @ingroup ia32mm, amd64mm
+ * @ingroup kernel_ia32_mm, kernel_amd64_mm
  */
 
Index: kernel/arch/ia32/src/pm.c
===================================================================
--- kernel/arch/ia32/src/pm.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/pm.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32
+/** @addtogroup kernel_ia32
  * @{
  */
Index: kernel/arch/ia32/src/proc/scheduler.c
===================================================================
--- kernel/arch/ia32/src/proc/scheduler.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/proc/scheduler.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32proc
+/** @addtogroup kernel_ia32_proc
  * @{
  */
Index: kernel/arch/ia32/src/proc/task.c
===================================================================
--- kernel/arch/ia32/src/proc/task.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/proc/task.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32proc
+/** @addtogroup kernel_ia32_proc
  * @{
  */
Index: kernel/arch/ia32/src/proc/thread.c
===================================================================
--- kernel/arch/ia32/src/proc/thread.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/proc/thread.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32proc
+/** @addtogroup kernel_ia32_proc
  * @{
  */
Index: kernel/arch/ia32/src/smp/apic.c
===================================================================
--- kernel/arch/ia32/src/smp/apic.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/smp/apic.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32
+/** @addtogroup kernel_ia32
  * @{
  */
Index: kernel/arch/ia32/src/smp/ipi.c
===================================================================
--- kernel/arch/ia32/src/smp/ipi.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/smp/ipi.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32
+/** @addtogroup kernel_ia32
  * @{
  */
Index: kernel/arch/ia32/src/smp/mps.c
===================================================================
--- kernel/arch/ia32/src/smp/mps.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/smp/mps.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32
+/** @addtogroup kernel_ia32
  * @{
  */
Index: kernel/arch/ia32/src/smp/smp.c
===================================================================
--- kernel/arch/ia32/src/smp/smp.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/smp/smp.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32
+/** @addtogroup kernel_ia32
  * @{
  */
Index: kernel/arch/ia32/src/smp/smp_call.c
===================================================================
--- kernel/arch/ia32/src/smp/smp_call.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/smp/smp_call.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32
+/** @addtogroup kernel_ia32
  * @{
  */
Index: kernel/arch/ia32/src/syscall.c
===================================================================
--- kernel/arch/ia32/src/syscall.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/syscall.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32
+/** @addtogroup kernel_ia32
  * @{
  */
Index: kernel/arch/ia32/src/userspace.c
===================================================================
--- kernel/arch/ia32/src/userspace.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/userspace.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32
+/** @addtogroup kernel_ia32
  * @{
  */
Index: kernel/arch/ia32/src/vreg.c
===================================================================
--- kernel/arch/ia32/src/vreg.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia32/src/vreg.c	(revision d09eeb202ad93fe26cbffc80003adecf3fb32a5f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32
+/** @addtogroup kernel_ia32
  * @{
  */