Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/amd64/src/amd64.c	(revision 8fefd8b580bf28eb98fa4eda780105c9d6409cc7)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup amd64
+/** @addtogroup kernel_amd64
  * @{
  */
Index: kernel/arch/amd64/src/boot/memmap.c
===================================================================
--- kernel/arch/amd64/src/boot/memmap.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/amd64/src/boot/memmap.c	(revision 8fefd8b580bf28eb98fa4eda780105c9d6409cc7)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup amd64mm
+/** @addtogroup kernel_amd64_mm
  * @{
  */
Index: kernel/arch/amd64/src/cpu/cpu.c
===================================================================
--- kernel/arch/amd64/src/cpu/cpu.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/amd64/src/cpu/cpu.c	(revision 8fefd8b580bf28eb98fa4eda780105c9d6409cc7)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup amd64
+/** @addtogroup kernel_amd64
  * @{
  */
Index: kernel/arch/amd64/src/ddi/ddi.c
===================================================================
--- kernel/arch/amd64/src/ddi/ddi.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/amd64/src/ddi/ddi.c	(revision 8fefd8b580bf28eb98fa4eda780105c9d6409cc7)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup amd64ddi
+/** @addtogroup kernel_amd64_ddi
  * @{
  */
Index: kernel/arch/amd64/src/debug/stacktrace.c
===================================================================
--- kernel/arch/amd64/src/debug/stacktrace.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/amd64/src/debug/stacktrace.c	(revision 8fefd8b580bf28eb98fa4eda780105c9d6409cc7)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup amd64
+/** @addtogroup kernel_amd64
  * @{
  */
Index: kernel/arch/amd64/src/fpu_context.c
===================================================================
--- kernel/arch/amd64/src/fpu_context.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/amd64/src/fpu_context.c	(revision 8fefd8b580bf28eb98fa4eda780105c9d6409cc7)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup amd64
+/** @addtogroup kernel_amd64
  * @{
  */
Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/amd64/src/interrupt.c	(revision 8fefd8b580bf28eb98fa4eda780105c9d6409cc7)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup amd64interrupt
+/** @addtogroup kernel_amd64_interrupt
  * @{
  */
Index: kernel/arch/amd64/src/kseg.c
===================================================================
--- kernel/arch/amd64/src/kseg.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/amd64/src/kseg.c	(revision 8fefd8b580bf28eb98fa4eda780105c9d6409cc7)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup amd64
+/** @addtogroup kernel_amd64
  * @{
  */
Index: kernel/arch/amd64/src/mm/km.c
===================================================================
--- kernel/arch/amd64/src/mm/km.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/amd64/src/mm/km.c	(revision 8fefd8b580bf28eb98fa4eda780105c9d6409cc7)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup amd64mm
+/** @addtogroup kernel_amd64_mm
  * @{
  */
Index: kernel/arch/amd64/src/mm/page.c
===================================================================
--- kernel/arch/amd64/src/mm/page.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/amd64/src/mm/page.c	(revision 8fefd8b580bf28eb98fa4eda780105c9d6409cc7)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup amd64mm
+/** @addtogroup kernel_amd64_mm
  * @{
  */
Index: kernel/arch/amd64/src/pm.c
===================================================================
--- kernel/arch/amd64/src/pm.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/amd64/src/pm.c	(revision 8fefd8b580bf28eb98fa4eda780105c9d6409cc7)
@@ -28,5 +28,5 @@
  */
 
-/** @addtogroup amd64
+/** @addtogroup kernel_amd64
  * @{
  */
Index: kernel/arch/amd64/src/proc/scheduler.c
===================================================================
--- kernel/arch/amd64/src/proc/scheduler.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/amd64/src/proc/scheduler.c	(revision 8fefd8b580bf28eb98fa4eda780105c9d6409cc7)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup amd64proc
+/** @addtogroup kernel_amd64_proc
  * @{
  */
Index: kernel/arch/amd64/src/proc/task.c
===================================================================
--- kernel/arch/amd64/src/proc/task.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/amd64/src/proc/task.c	(revision 8fefd8b580bf28eb98fa4eda780105c9d6409cc7)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup amd64proc
+/** @addtogroup kernel_amd64_proc
  * @{
  */
Index: kernel/arch/amd64/src/proc/thread.c
===================================================================
--- kernel/arch/amd64/src/proc/thread.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/amd64/src/proc/thread.c	(revision 8fefd8b580bf28eb98fa4eda780105c9d6409cc7)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup amd64proc
+/** @addtogroup kernel_amd64_proc
  * @{
  */
Index: kernel/arch/amd64/src/syscall.c
===================================================================
--- kernel/arch/amd64/src/syscall.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/amd64/src/syscall.c	(revision 8fefd8b580bf28eb98fa4eda780105c9d6409cc7)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup amd64
+/** @addtogroup kernel_amd64
  * @{
  */
Index: kernel/arch/amd64/src/userspace.c
===================================================================
--- kernel/arch/amd64/src/userspace.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/amd64/src/userspace.c	(revision 8fefd8b580bf28eb98fa4eda780105c9d6409cc7)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup amd64
+/** @addtogroup kernel_amd64
  * @{
  */
Index: kernel/arch/amd64/src/vreg.c
===================================================================
--- kernel/arch/amd64/src/vreg.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/amd64/src/vreg.c	(revision 8fefd8b580bf28eb98fa4eda780105c9d6409cc7)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup amd64
+/** @addtogroup kernel_amd64
  * @{
  */