From e83ba0a0c789a01a933d0571efe7d4342cb60aa6 Mon Sep 17 00:00:00 2001
From: Trammell Hudson <hudson@trmm.net>
Date: Mon, 27 Mar 2017 18:52:31 -0400
Subject: [PATCH] enable futex for keylime

---
 config/linux.config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config/linux.config b/config/linux.config
index 6842ec7..1a23f0d 100644
--- a/config/linux.config
+++ b/config/linux.config
@@ -169,7 +169,7 @@ CONFIG_PRINTK_NMI=y
 CONFIG_BUG=y
 CONFIG_PCSPKR_PLATFORM=y
 # CONFIG_BASE_FULL is not set
-# CONFIG_FUTEX is not set
+CONFIG_FUTEX=y
 CONFIG_EPOLL=y
 # CONFIG_SIGNALFD is not set
 # CONFIG_TIMERFD is not set