Index: kernel/arch/arm32/src/ras.c
===================================================================
--- kernel/arch/arm32/src/ras.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/arm32/src/ras.c	(revision 4bb7ffef3e23c7aa82199ac6ba9838b10a2ceea7)
@@ -86,2 +86,4 @@
 }
 
+/** @}
+ */