Index: kernel/arch/arm32/src/mm/page.c
===================================================================
--- kernel/arch/arm32/src/mm/page.c	(revision 77b52f0b3116076ae728f13ff6abfc9474e2b477)
+++ kernel/arch/arm32/src/mm/page.c	(revision e3bc35535127f70c39dbb0db723a7da15287e0aa)
@@ -52,5 +52,5 @@
 void page_arch_init(void)
 {
-	int flags = PAGE_CACHEABLE;
+	int flags = PAGE_CACHEABLE | PAGE_EXEC;
 	page_mapping_operations = &pt_mapping_operations;