Changes in kernel/generic/src/main/kinit.c [cdc4334:4b1c7c6f] in mainline

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_WRITE | PAGE_CACHEABLE);
                 assert(page);