configs: remove ppsi_defconfig, update defconfig

We don't need a ppsi_defconfig any more, as it is now the default. Also, use a full defconfig, so it's explicit what the options are. Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

configs: remove ppsi_defconfig, update defconfig
We don't need a ppsi_defconfig any more, as it is now the default. Also, use a full defconfig, so it's explicit what the options are. Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
25ef6db9 · Alessandro Rubini · 865cfb7d · 865cfb7d · 25ef6db9
Commit 25ef6db9 authored Jul 09, 2014 by Alessandro Rubini
Hide whitespace changes
Inline Side-by-side

Showing with 18 additions and 7 deletions

wrs_ppsi_defconfig configs/wrs_ppsi_defconfig +0 -6

wrs_release_defconfig configs/wrs_release_defconfig +18 -1

No files found.
--- a/configs/wrs_ppsi_defconfig
+++ b/configs/wrs_ppsi_defconfig
-#
-# Automatically generated make config: don't edit
-#
-CONFIG_BR2_CONFIGFILE="wrs_release_br2_config"
-# CONFIG_PTP_NOPOSIX is not set
-CONFIG_PPSI=y
--- a/configs/wrs_release_defconfig
+++ b/configs/wrs_release_defconfig
@@ -2,5 +2,22 @@
 # Automatically generated make config: don't edit
 #
 CONFIG_BR2_CONFIGFILE="wrs_release_br2_config"
-# CONFIG_PTP_NOPOSIX is not ser
+# CONFIG_PTP_NOPOSIX is not set
 CONFIG_PPSI=y
+
+#
+# Local configuration
+#
+CONFIG_NTP_SERVER=""
+CONFIG_DNS_SERVER=""
+CONFIG_DNS_DOMAIN=""
+CONFIG_REMOTE_SYSLOG_SERVER=""
+CONFIG_REMOTE_SYSLOG_UDP=y
+CONFIG_SNMP_TRAPSINK_ADDRESS=""
+CONFIG_SNMP_TRAP2SINK_ADDRESS=""
+CONFIG_SNMP_RO_COMMUNITY="public"
+CONFIG_SNMP_RW_COMMUNITY="private"
+CONFIG_WRS_LOG_HAL="daemon.info"
+CONFIG_WRS_LOG_RTU="daemon.info"
+CONFIG_WRS_LOG_PTP="daemon.info"
+# CONFIG_KEEP_ROOTFS is not set