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 2df85611a20bb700be6da92f7fd60c3916b8e314)
@@ -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;