diff --git a/pachyrhynchus-config b/pachyrhynchus-config
index b193431..3bcc0a2 100644
--- a/pachyrhynchus-config
+++ b/pachyrhynchus-config
@@ -2017,19 +2017,7 @@ CONFIG_I2C_DEBUG_BUS=y
 # CONFIG_SPI is not set
 # CONFIG_SPMI is not set
 # CONFIG_HSI 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 is not set
-
-#
-# PPS generators support
-#
+# CONFIG_PPS is not set
 
 #
 # PTP clock support