diff --git a/boards/arm/s32k1xx/s32k144evb/include/board.h b/boards/arm/s32k1xx/s32k144evb/include/board.h
index db93c2e496..49e956af22 100644
--- a/boards/arm/s32k1xx/s32k144evb/include/board.h
+++ b/boards/arm/s32k1xx/s32k144evb/include/board.h
@@ -37,7 +37,9 @@
 
 #define BOARD_XTAL_FREQUENCY  8000000
 
-/* The S32K144 will run at 80 MHz */
+/* The S32K144 will run at 80 MHz in RUN mode */
+
+#define S32K144EVB_RUN_SYSCLK_FREQUENCY  80000000
 
 /* LED definitions **********************************************************/
 
diff --git a/boards/arm/s32k1xx/s32k144evb/src/s32k1xx_boot.c b/boards/arm/s32k1xx/s32k144evb/src/s32k1xx_boot.c
index 6c387fd61e..ca25b44ef5 100644
--- a/boards/arm/s32k1xx/s32k144evb/src/s32k1xx_boot.c
+++ b/boards/arm/s32k1xx/s32k144evb/src/s32k1xx_boot.c
@@ -23,8 +23,9 @@
  ****************************************************************************/
 
 #include <nuttx/config.h>
+#include <nuttx/arch.h>
 #include <nuttx/board.h>
-
+#include <arch/board/board.h>
 #include "s32k144evb.h"
 
 /****************************************************************************
@@ -44,6 +45,10 @@
 
 void s32k1xx_board_initialize(void)
 {
+#ifdef CONFIG_SEGGER_SYSVIEW
+  up_perf_init((void *)S32K144EVB_RUN_SYSCLK_FREQUENCY);
+#endif
+
 #ifdef CONFIG_ARCH_LEDS
   /* Configure on-board LEDs if LED support has been selected */
 
diff --git a/boards/arm/s32k1xx/s32k146evb/include/board.h b/boards/arm/s32k1xx/s32k146evb/include/board.h
index 549065b5c1..5ad7efef64 100644
--- a/boards/arm/s32k1xx/s32k146evb/include/board.h
+++ b/boards/arm/s32k1xx/s32k146evb/include/board.h
@@ -37,7 +37,9 @@
 
 #define BOARD_XTAL_FREQUENCY  8000000
 
-/* The S32K146 will run at 80 MHz */
+/* The S32K146 will run at 80 MHz in RUN mode */
+
+#define S32K146EVB_RUN_SYSCLK_FREQUENCY  80000000
 
 /* LED definitions **********************************************************/
 
diff --git a/boards/arm/s32k1xx/s32k146evb/src/s32k1xx_boot.c b/boards/arm/s32k1xx/s32k146evb/src/s32k1xx_boot.c
index 7566a50ed0..862614b3bf 100644
--- a/boards/arm/s32k1xx/s32k146evb/src/s32k1xx_boot.c
+++ b/boards/arm/s32k1xx/s32k146evb/src/s32k1xx_boot.c
@@ -23,8 +23,9 @@
  ****************************************************************************/
 
 #include <nuttx/config.h>
+#include <nuttx/arch.h>
 #include <nuttx/board.h>
-
+#include <arch/board/board.h>
 #include "s32k146evb.h"
 
 /****************************************************************************
@@ -44,6 +45,10 @@
 
 void s32k1xx_board_initialize(void)
 {
+#ifdef CONFIG_SEGGER_SYSVIEW
+  up_perf_init((void *)S32K146EVB_RUN_SYSCLK_FREQUENCY);
+#endif
+
 #ifdef CONFIG_ARCH_LEDS
   /* Configure on-board LEDs if LED support has been selected */
 
diff --git a/boards/arm/s32k1xx/s32k148evb/include/board.h b/boards/arm/s32k1xx/s32k148evb/include/board.h
index d7478b4d6c..82a2f3667c 100644
--- a/boards/arm/s32k1xx/s32k148evb/include/board.h
+++ b/boards/arm/s32k1xx/s32k148evb/include/board.h
@@ -37,7 +37,9 @@
 
 #define BOARD_XTAL_FREQUENCY  8000000
 
-/* The S32K148 will run at 80 MHz */
+/* The S32K148 will run at 80 MHz in RUN mode */
+
+#define S32K148EVB_RUN_SYSCLK_FREQUENCY  80000000
 
 /* LED definitions **********************************************************/
 
diff --git a/boards/arm/s32k1xx/s32k148evb/src/s32k1xx_boot.c b/boards/arm/s32k1xx/s32k148evb/src/s32k1xx_boot.c
index 335cbd9f4d..2e87052ff1 100644
--- a/boards/arm/s32k1xx/s32k148evb/src/s32k1xx_boot.c
+++ b/boards/arm/s32k1xx/s32k148evb/src/s32k1xx_boot.c
@@ -23,8 +23,9 @@
  ****************************************************************************/
 
 #include <nuttx/config.h>
+#include <nuttx/arch.h>
 #include <nuttx/board.h>
-
+#include <arch/board/board.h>
 #include "s32k148evb.h"
 
 /****************************************************************************
@@ -44,6 +45,10 @@
 
 void s32k1xx_board_initialize(void)
 {
+#ifdef CONFIG_SEGGER_SYSVIEW
+  up_perf_init((void *)S32K148EVB_RUN_SYSCLK_FREQUENCY);
+#endif
+
 #ifdef CONFIG_ARCH_LEDS
   /* Configure on-board LEDs if LED support has been selected */
 
diff --git a/boards/arm/s32k1xx/ucans32k146/include/board.h b/boards/arm/s32k1xx/ucans32k146/include/board.h
index b0e448d245..3c49fba167 100644
--- a/boards/arm/s32k1xx/ucans32k146/include/board.h
+++ b/boards/arm/s32k1xx/ucans32k146/include/board.h
@@ -37,7 +37,9 @@
 
 #define BOARD_XTAL_FREQUENCY  8000000
 
-/* The S32K146 will run at 80 MHz */
+/* The S32K146 will run at 80 MHz in RUN mode */
+
+#define UCANS32K146_RUN_SYSCLK_FREQUENCY  80000000
 
 /* LED definitions **********************************************************/
 
diff --git a/boards/arm/s32k1xx/ucans32k146/src/s32k1xx_boot.c b/boards/arm/s32k1xx/ucans32k146/src/s32k1xx_boot.c
index 5ba5f9b883..6a3466b4b8 100644
--- a/boards/arm/s32k1xx/ucans32k146/src/s32k1xx_boot.c
+++ b/boards/arm/s32k1xx/ucans32k146/src/s32k1xx_boot.c
@@ -23,8 +23,9 @@
  ****************************************************************************/
 
 #include <nuttx/config.h>
+#include <nuttx/arch.h>
 #include <nuttx/board.h>
-
+#include <arch/board/board.h>
 #include "ucans32k146.h"
 
 /****************************************************************************
@@ -44,6 +45,10 @@
 
 void s32k1xx_board_initialize(void)
 {
+#ifdef CONFIG_SEGGER_SYSVIEW
+  up_perf_init((void *)UCANS32K146_RUN_SYSCLK_FREQUENCY);
+#endif
+
 #ifdef CONFIG_ARCH_LEDS
   /* Configure on-board LEDs if LED support has been selected */