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