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