4 files changed, 5 insertions, 5 deletions
diff --git a/arch/riscv64/config.h b/arch/riscv64/config.h
index ba7fafe..7be4bb3 100644
--- a/arch/riscv64/config.h
+++ b/arch/riscv64/config.h
@@ -75,7 +75,7 @@
 #else
 /* 32bit */
 
-/* \todo: figure this stuff out */
+/** \todo figure this stuff out */
 #define VM_DMAP (0x000000000)
 #define VM_KERN (VM_DMAP + SZ_256K)
 #define ROOT_PTE (0UL)
diff --git a/arch/riscv64/kernel/power.c b/arch/riscv64/kernel/power.c
index 160cf25..b79b7ba 100644
--- a/arch/riscv64/kernel/power.c
+++ b/arch/riscv64/kernel/power.c
@@ -28,7 +28,7 @@
 
 stat_t poweroff(enum poweroff_type type)
 {
-	/* \todo: this only shuts down the cpu itself, but may leave the SOC
+	/** \todo this only shuts down the cpu itself, but may leave the SOC
 	 * active. Should read from fdt poweroff and syscon-poweroff etc */
 	switch (type) {
 	case SHUTDOWN:
diff --git a/arch/riscv64/kernel/proc.c b/arch/riscv64/kernel/proc.c
index b3a1ca7..09d694f 100644
--- a/arch/riscv64/kernel/proc.c
+++ b/arch/riscv64/kernel/proc.c
@@ -8,7 +8,7 @@
 #include "regs.h"
 #include "csr.h"
 
-/* \todo: actually map fdt into the target address space */
+/** \todo actually map fdt into the target address space */
 stat_t run_init(struct tcb *t, void *fdt)
 {
 	csr_write(CSR_SSCRATCH, t);
@@ -36,7 +36,7 @@ stat_t set_ipc(struct tcb *t, id_t pid, id_t tid)
 stat_t set_thread(struct tcb *t, vm_t stack)
 {
 	/* get location of registers in memory */
-	/* \todo: check alignment, should be fine but just to be sure */
+	/** \todo check alignment, should be fine but just to be sure */
 	struct riscv_regs *r = (struct riscv_regs *)(--t);
 
 	/* insert important values into register slots */
diff --git a/arch/riscv64/kernel/vmem.c b/arch/riscv64/kernel/vmem.c
index deafb6a..6d0b60c 100644
--- a/arch/riscv64/kernel/vmem.c
+++ b/arch/riscv64/kernel/vmem.c
@@ -223,7 +223,7 @@ vm_t setup_kernel_io(struct vmem *b, vm_t paddr)
 
 stat_t clone_uvmem(struct vmem *r, struct vmem *b)
 {
-	/* \todo: error checking? */
+	/** \todo error checking? */
 	for (size_t i = 0; i <= CSTACK_PAGE; ++i)
 		b->leaf[i] = r->leaf[i];