Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision cd0a38e048578fd03e045985db02a493d3db4184)
+++ kernel/generic/src/mm/as.c	(revision 78acbc721cee3d7063c5c7c8adbf897587243cb1)
@@ -86,5 +86,5 @@
  * address space operations such as creating or locking page tables.
  */
-as_operations_t *as_operations = NULL;
+const as_operations_t *as_operations = NULL;
 
 /** Cache for as_t objects */
Index: kernel/generic/src/mm/page.c
===================================================================
--- kernel/generic/src/mm/page.c	(revision cd0a38e048578fd03e045985db02a493d3db4184)
+++ kernel/generic/src/mm/page.c	(revision 78acbc721cee3d7063c5c7c8adbf897587243cb1)
@@ -76,5 +76,5 @@
 
 /** Virtual operations for page subsystem. */
-page_mapping_operations_t *page_mapping_operations = NULL;
+const page_mapping_operations_t *page_mapping_operations = NULL;
 
 void page_init(void)