jhb 98f7054ccd 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