Index: kernel/arch/mips32/src/mips32.c
===================================================================
--- kernel/arch/mips32/src/mips32.c	(revision c22e964a598c0c20654391f6a11e7333830cbf37)
+++ kernel/arch/mips32/src/mips32.c	(revision ff685c93ca4666ba47a3b747bd9da4268cc5aa47)
@@ -77,4 +77,5 @@
 count_t cpu_count = 0;
 
+/** Performs mips32-specific initialization before main_bsp() is called. */
 void arch_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo)
 {