Index: kernel/arch/arm32/src/mm/as.c
===================================================================
--- kernel/arch/arm32/src/mm/as.c	(revision eae4e8fa7dfec64f319138584d0480c91f7579ca)
+++ kernel/arch/arm32/src/mm/as.c	(revision 1313ee92979dd133fd0dd0717213410aada3df10)
@@ -39,4 +39,5 @@
 #include <genarch/mm/asid_fifo.h>
 #include <mm/as.h>
+#include <mm/tlb.h>
 #include <arch.h>
 
@@ -50,4 +51,9 @@
 }
 
+void as_install_arch(as_t *as)
+{
+	tlb_invalidate_all();
+}
+
 /** @}
  */