From c8ed1237c67d6c2af08e5ce6da95ccff33c3d9bd Mon Sep 17 00:00:00 2001
From: Mauro Ribeiro <mauro.ribeiro@hardkernel.com>
Date: Mon, 10 Aug 2015 20:10:53 -0300
Subject: [PATCH] defconfig: enable GPIO PPS

Change-Id: I783e501ca97a3e519c1cd6c63130fd5cd3e6eb97
---
 arch/arm/configs/odroidc_defconfig | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/arch/arm/configs/odroidc_defconfig b/arch/arm/configs/odroidc_defconfig
index 6a2e5d0f74c7..26d233565407 100644
--- a/arch/arm/configs/odroidc_defconfig
+++ b/arch/arm/configs/odroidc_defconfig
@@ -2257,7 +2257,15 @@ CONFIG_SPI_SPIDEV=m
 #
 # PPS support
 #
-# CONFIG_PPS is not set
+CONFIG_PPS=m
+# CONFIG_PPS_DEBUG is not set
+
+#
+# PPS clients support
+#
+# CONFIG_PPS_CLIENT_KTIMER is not set
+# CONFIG_PPS_CLIENT_LDISC is not set
+CONFIG_PPS_CLIENT_GPIO=m
 
 #
 # PPS generators support