On Thu, 30 Apr 2020 22:38:10 -0400 John Dorminy <jdorminy at redhat.com> wrote: > the change > description refers to PROT_KERNEL, which is a symbol which does not > appear to exist; perhaps PAGE_KERNEL was meant? Yes, thanks, fixed.