Index: kernel/arch/arm32/src/mm/page.c
===================================================================
--- kernel/arch/arm32/src/mm/page.c	(revision a19dc957cea3fcd943f7f2397e3ef9cdc58fc1d8)
+++ kernel/arch/arm32/src/mm/page.c	(revision d447598e4fbddb2cd07d077dfd32a3d07224f96a)
@@ -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;