diff --git a/configs/pic32mz-starterkit/include/board.h b/configs/pic32mz-starterkit/include/board.h
index cbee25cee9c..4da362fa881 100644
--- a/configs/pic32mz-starterkit/include/board.h
+++ b/configs/pic32mz-starterkit/include/board.h
@@ -101,7 +101,9 @@
  *   - Timer 1 uses SOSC
  */
 
-#undef BOARD_PBCLK3_ENABLE
+#define BOARD_PBCLK3_ENABLE    1         /* Enable PBCLK3 */
+#define BOARD_PB3DIV           4         /* Divider = 4 */
+#define BOARD_PBCLK3           50000000  /* PBCLK3 frequency = 200MHz/4 = 50MHz */
 
 /* PBCLK4
  *   Peripherals: Ports
diff --git a/configs/pic32mz-starterkit/nsh/defconfig b/configs/pic32mz-starterkit/nsh/defconfig
index e9c1d04428d..4de30b17092 100644
--- a/configs/pic32mz-starterkit/nsh/defconfig
+++ b/configs/pic32mz-starterkit/nsh/defconfig
@@ -103,6 +103,10 @@ CONFIG_PIC32MZ_T1=y
 # CONFIG_PIC32MZ_T3 is not set
 # CONFIG_PIC32MZ_T4 is not set
 # CONFIG_PIC32MZ_T5 is not set
+# CONFIG_PIC32MZ_T6 is not set
+# CONFIG_PIC32MZ_T7 is not set
+# CONFIG_PIC32MZ_T8 is not set
+# CONFIG_PIC32MZ_T9 is not set
 # CONFIG_PIC32MZ_IC1 is not set
 # CONFIG_PIC32MZ_IC2 is not set
 # CONFIG_PIC32MZ_IC3 is not set
@@ -142,6 +146,7 @@ CONFIG_PIC32MZ_UART1=y
 # CONFIG_PIC32MZ_CAN2 is not set
 # CONFIG_PIC32MZ_ETHERNET is not set
 # CONFIG_PIC32MZ_CTMU is not set
+# CONFIG_PIC32MZ_T1_SOSC is not set
 
 #
 # Device Configuration 0 (DEVCFG0)