Changeset 94d211e in mainline for kernel/generic/src/main/kinit.c

Timestamp:

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

Author:

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

Children:

1c7a170

Parents:

973be387

Message:

Change the way page flags work. TODO description

File:

• kernel/generic/src/main/kinit.c (modified) (1 diff)

kernel/generic/src/main/kinit.c

@@ -250 +250 @@
                 uintptr_t page = km_map(init.tasks[i].paddr,
                     init.tasks[i].size,
-                    PAGE_READ | PAGE_WRITE | PAGE_CACHEABLE);
+                    PAGE_READ_WRITE | PAGE_KERNEL | PAGE_CACHEABLE);
                 assert(page);