defconfig: enable GPIO PPS

Change-Id: I783e501ca97a3e519c1cd6c63130fd5cd3e6eb97
This commit is contained in:
Mauro Ribeiro
2015-08-10 20:10:53 -03:00
parent 1830dcd661
commit c8ed1237c6

View File

@@ -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