Index: kernel/arch/arm32/src/arm32.c
===================================================================
--- kernel/arch/arm32/src/arm32.c	(revision fd608dcf23fddc6d2ba03c8127a3289923af802a)
+++ kernel/arch/arm32/src/arm32.c	(revision 3a2f8aa1cef1886a9586c9987617553007802c3f)
@@ -179,4 +179,9 @@
 }
 
+void irq_initialize_arch(irq_t *irq)
+{
+	(void) irq;
+}
+
 /** @}
  */