In glancing over the SELinux code, it appears userfaultfd file descriptors are not managed by SELinux. Am I perhaps misreading the kernel code and this is supported? Or is this a known issue? If it's a known issue, has there been any attempt to add SELinux userfaultfd file descriptor support? Thanks, -- Nick -- Nick Kralevich | nnk@xxxxxxxxxx
