John Baldwin ff9738d954 Rework setting PTE_D for kernel mappings. ... Rather than unconditionally setting PTE_D for all writeable kernel mappings, set PTE_D for writable mappings of unmanaged pages (whether user or kernel). This matches what amd64 does and also matches what the RISC-V spec suggests (preset the A and D bits on mappings where the OS doesn't care about the state). Suggested by: alc Reviewed by: alc, markj Sponsored by: DARPA		2018-11-05 20:00:36 +00:00
..
conf	Compile in VERBOSE_SYSINIT support by default, remain silent by default	2018-10-31 22:38:19 +00:00
include	Restrict setting PTE execute permissions on RISC-V.	2018-11-01 22:23:15 +00:00
riscv	Rework setting PTE_D for kernel mappings.	2018-11-05 20:00:36 +00:00