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