ACK: [PATCH] UBUNTU: [Config] USERFAULTFD=y

[Colin Ian King]

On 14/10/16 16:15, Paolo Pisati wrote:
> BugLink: http://bugs.launchpad.net/bugs/1633516
> 
> Signed-off-by: Paolo Pisati <paolo.pisati at canonical.com>
> ---
>  debian.raspi2/config/config.common.ubuntu | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/debian.raspi2/config/config.common.ubuntu b/debian.raspi2/config/config.common.ubuntu
> index d9d743d..8fdf30da 100644
> --- a/debian.raspi2/config/config.common.ubuntu
> +++ b/debian.raspi2/config/config.common.ubuntu
> @@ -5263,7 +5263,7 @@ CONFIG_USB_YUREX=m
>  CONFIG_USB_ZD1201=m
>  CONFIG_USB_ZR364XX=m
>  CONFIG_USELIB=y
> -# CONFIG_USERFAULTFD is not set
> +CONFIG_USERFAULTFD=y
>  CONFIG_USERIO=m
>  CONFIG_USER_NS=y
>  CONFIG_USE_OF=y
> 
I've tested this out on the raspberry pi2 and it fixes the lack of
userfaultfd() for my tests with stress-ng --userfaultfd 1

Acked-by: Colin Ian King <colin.king at canonical.com>