make PPSI default PTP engine for WR PTP Core

Kconfig

@@ -12,14 +12,14 @@ config STACKSIZE
 	default 2048
 
 config PRINT_BUFSIZE
-       int
-       default 128
+	int
+	default 128
 
 config PRINTF_XINT
 	boolean
 	default y
 
-config PTP_NOPOSIX
+config PPSI
 	boolean
 	default y
 
@@ -28,8 +28,8 @@ config UART
 	default y
 
 config W1
-       boolean
-       default y
+	boolean
+	default y
 
 # The other ones can be set by non-developers
 
@@ -140,17 +140,16 @@ choice
 	prompt "Choose your preferred ptp engine"
 	depends on DEVELOPER
 
+config PPSI
+	boolean "ppsi"
+	help
+	  Select this option for the ppsi engine
+
 config PTP_NOPOSIX
 	boolean "ptp-noposix"
 	help
 	  Select this option for the ptp-noposix engine
 
-config PPSI
-	boolean "ppsi"
-	help
-	  Select this option for the ppsi engine. Warning: this option is
-	  work in progress, may not work or not compile at all.
-
 endchoice
 
 config DETERMINISTIC_BINARY

configs/etherbone_defconfig

@@ -5,7 +5,7 @@ CONFIG_RAMSIZE=90112
 CONFIG_STACKSIZE=2048
 CONFIG_PRINT_BUFSIZE=128
 CONFIG_PRINTF_XINT=y
-CONFIG_PTP_NOPOSIX=y
+CONFIG_PPSI=y
 CONFIG_UART=y
 CONFIG_W1=y
 CONFIG_ETHERBONE=y

configs/gsi_defconfig

@@ -5,7 +5,7 @@ CONFIG_RAMSIZE=131072
 CONFIG_STACKSIZE=10240
 CONFIG_PRINT_BUFSIZE=128
 CONFIG_PRINTF_XINT=y
-# CONFIG_PTP_NOPOSIX is not set
+CONFIG_PPSI=y
 CONFIG_UART=y
 CONFIG_W1=y
 CONFIG_ETHERBONE=y
@@ -19,7 +19,7 @@ CONFIG_DEVELOPER=y
 # CONFIG_PRINTF_FULL is not set
 # CONFIG_PRINTF_MINI is not set
 # CONFIG_PRINTF_NONE is not set
-CONFIG_PPSI=y
+# CONFIG_PTP_NOPOSIX is not set
 # CONFIG_DETERMINISTIC_BINARY is not set
 # CONFIG_UART_SW is not set
 CONFIG_SDB_EEPROM=y

configs/ppsi_defconfig

@@ -5,7 +5,7 @@ CONFIG_RAMSIZE=90112
 CONFIG_STACKSIZE=2048
 CONFIG_PRINT_BUFSIZE=128
 CONFIG_PRINTF_XINT=y
-# CONFIG_PTP_NOPOSIX is not set
+CONFIG_PPSI=y
 CONFIG_UART=y
 CONFIG_W1=y
 # CONFIG_ETHERBONE is not set
@@ -19,7 +19,7 @@ CONFIG_DEVELOPER=y
 # CONFIG_PRINTF_FULL is not set
 # CONFIG_PRINTF_MINI is not set
 # CONFIG_PRINTF_NONE is not set
-CONFIG_PPSI=y
+# CONFIG_PTP_NOPOSIX is not set
 # CONFIG_DETERMINISTIC_BINARY is not set
 # CONFIG_UART_SW is not set
 # CONFIG_SDB_EEPROM is not set

configs/ppsi_log_defconfig

@@ -5,7 +5,7 @@ CONFIG_RAMSIZE=90112
 CONFIG_STACKSIZE=2048
 CONFIG_PRINT_BUFSIZE=128
 CONFIG_PRINTF_XINT=y
-# CONFIG_PTP_NOPOSIX is not set
+CONFIG_PPSI=y
 CONFIG_UART=y
 CONFIG_W1=y
 # CONFIG_ETHERBONE is not set
@@ -19,7 +19,7 @@ CONFIG_DEVELOPER=y
 # CONFIG_PRINTF_FULL is not set
 # CONFIG_PRINTF_MINI is not set
 # CONFIG_PRINTF_NONE is not set
-CONFIG_PPSI=y
+# CONFIG_PTP_NOPOSIX is not set
 # CONFIG_DETERMINISTIC_BINARY is not set
 CONFIG_UART_SW=y
 # CONFIG_SDB_EEPROM is not set

configs/spec_defconfig

@@ -5,7 +5,7 @@ CONFIG_RAMSIZE=90112
 CONFIG_STACKSIZE=2048
 CONFIG_PRINT_BUFSIZE=128
 CONFIG_PRINTF_XINT=y
-CONFIG_PTP_NOPOSIX=y
+CONFIG_PPSI=y
 CONFIG_UART=y
 CONFIG_W1=y
 # CONFIG_ETHERBONE is not set

configs/wrnic_defconfig

@@ -5,7 +5,7 @@ CONFIG_RAMSIZE=90112
 CONFIG_STACKSIZE=2048
 CONFIG_PRINT_BUFSIZE=128
 CONFIG_PRINTF_XINT=y
-CONFIG_PTP_NOPOSIX=y
+CONFIG_PPSI=y
 CONFIG_UART=y
 CONFIG_W1=y
 # CONFIG_ETHERBONE is not set