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