Changeset 94d211e in mainline for kernel/arch/arm32/src/mm/page.c

Timestamp:

2018-03-21T19:32:48Z (6 years ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Children:

1c7a170

Parents:

973be387

Message:

Change the way page flags work. TODO description

File:

• kernel/arch/arm32/src/mm/page.c (modified) (1 diff)

kernel/arch/arm32/src/mm/page.c

@@ -52 +52 @@
 void page_arch_init(void)
 {
-        int flags = PAGE_CACHEABLE | PAGE_EXEC;
+        int flags = PAGE_READ_WRITE_EXECUTE | PAGE_KERNEL | PAGE_CACHEABLE;
         page_mapping_operations = &pt_mapping_operations;