Re: [PATCH 1/2] userfaultfd: add /dev/userfaultfd for fine grained access control

From: Andrew Morton
Date: Tue Apr 12 2022 - 17:04:25 EST


On Tue, 12 Apr 2022 13:29:41 -0700 Axel Rasmussen <axelrasmussen@xxxxxxxxxx> wrote:

> To achieve this, add a /dev/userfaultfd misc device.

An update to $(grep -rl userfault Documentation/) seems appropriate?