Changes in kernel/arch/arm32/src/ras.c [4b1c7c6f:a35b458] in mainline

File:

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

kernel/arch/arm32/src/ras.c

@@ -57 +57 @@
 
         ras_page = (uintptr_t *) km_map(frame,
-            PAGE_SIZE, PAGE_WRITE | PAGE_USER | PAGE_CACHEABLE);
+            PAGE_SIZE, PAGE_READ | PAGE_WRITE | PAGE_USER | PAGE_CACHEABLE);
 
         memsetb(ras_page, PAGE_SIZE, 0);