Index: kernel/arch/riscv64/src/cpu/cpu.c
===================================================================
--- kernel/arch/riscv64/src/cpu/cpu.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/riscv64/src/cpu/cpu.c	(revision dcc2c5d1ea2cf6e1487e83ae2b5362fe7b527161)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup riscv64
+/** @addtogroup kernel_riscv64
  * @{
  */
Index: kernel/arch/riscv64/src/debug/stacktrace.c
===================================================================
--- kernel/arch/riscv64/src/debug/stacktrace.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/riscv64/src/debug/stacktrace.c	(revision dcc2c5d1ea2cf6e1487e83ae2b5362fe7b527161)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup riscv64
+/** @addtogroup kernel_riscv64
  * @{
  */
Index: kernel/arch/riscv64/src/mm/as.c
===================================================================
--- kernel/arch/riscv64/src/mm/as.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/riscv64/src/mm/as.c	(revision dcc2c5d1ea2cf6e1487e83ae2b5362fe7b527161)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup riscv64mm
+/** @addtogroup kernel_riscv64_mm
  * @{
  */
Index: kernel/arch/riscv64/src/mm/frame.c
===================================================================
--- kernel/arch/riscv64/src/mm/frame.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/riscv64/src/mm/frame.c	(revision dcc2c5d1ea2cf6e1487e83ae2b5362fe7b527161)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup riscv64mm
+/** @addtogroup kernel_riscv64_mm
  * @{
  */
Index: kernel/arch/riscv64/src/mm/km.c
===================================================================
--- kernel/arch/riscv64/src/mm/km.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/riscv64/src/mm/km.c	(revision dcc2c5d1ea2cf6e1487e83ae2b5362fe7b527161)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup riscv64mm
+/** @addtogroup kernel_riscv64_mm
  * @{
  */
Index: kernel/arch/riscv64/src/mm/page.c
===================================================================
--- kernel/arch/riscv64/src/mm/page.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/riscv64/src/mm/page.c	(revision dcc2c5d1ea2cf6e1487e83ae2b5362fe7b527161)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup riscv64mm
+/** @addtogroup kernel_riscv64_mm
  * @{
  */
Index: kernel/arch/riscv64/src/mm/tlb.c
===================================================================
--- kernel/arch/riscv64/src/mm/tlb.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/riscv64/src/mm/tlb.c	(revision dcc2c5d1ea2cf6e1487e83ae2b5362fe7b527161)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup riscv64mm
+/** @addtogroup kernel_riscv64_mm
  * @{
  */
Index: kernel/arch/riscv64/src/proc/scheduler.c
===================================================================
--- kernel/arch/riscv64/src/proc/scheduler.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/riscv64/src/proc/scheduler.c	(revision dcc2c5d1ea2cf6e1487e83ae2b5362fe7b527161)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup riscv64proc
+/** @addtogroup kernel_riscv64_proc
  * @{
  */
Index: kernel/arch/riscv64/src/proc/task.c
===================================================================
--- kernel/arch/riscv64/src/proc/task.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/riscv64/src/proc/task.c	(revision dcc2c5d1ea2cf6e1487e83ae2b5362fe7b527161)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup riscv64proc
+/** @addtogroup kernel_riscv64_proc
  * @{
  */
Index: kernel/arch/riscv64/src/proc/thread.c
===================================================================
--- kernel/arch/riscv64/src/proc/thread.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/riscv64/src/proc/thread.c	(revision dcc2c5d1ea2cf6e1487e83ae2b5362fe7b527161)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup riscv64proc
+/** @addtogroup kernel_riscv64_proc
  * @{
  */
Index: kernel/arch/riscv64/src/riscv64.c
===================================================================
--- kernel/arch/riscv64/src/riscv64.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/riscv64/src/riscv64.c	(revision dcc2c5d1ea2cf6e1487e83ae2b5362fe7b527161)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup riscv64
+/** @addtogroup kernel_riscv64
  * @{
  */
Index: kernel/arch/riscv64/src/userspace.c
===================================================================
--- kernel/arch/riscv64/src/userspace.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/riscv64/src/userspace.c	(revision dcc2c5d1ea2cf6e1487e83ae2b5362fe7b527161)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup riscv64
+/** @addtogroup kernel_riscv64
  * @{
  */