From 12a640631fd37362094ac2482658c9dbc9431b67 Mon Sep 17 00:00:00 2001
From: Victor Martinez <pitillo@ono.com>
Date: Fri, 19 Oct 2012 15:07:41 +0000
Subject: [PATCH] Added DEVTMPS support

---
 config-3.5.4 | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/config-3.5.4 b/config-3.5.4
index eba1148..2a541b9 100644
--- a/config-3.5.4
+++ b/config-3.5.4
@@ -521,7 +521,8 @@ CONFIG_HAVE_BPF_JIT=y
 # Generic Driver Options
 #
 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
-# CONFIG_DEVTMPFS is not set
+CONFIG_DEVTMPFS=y
+# CONFIG_DEVTMPFS_MOUNT is not set
 CONFIG_STANDALONE=y
 CONFIG_PREVENT_FIRMWARE_BUILD=y
 CONFIG_FW_LOADER=y
-- 
2.26.2