NXP S32K1XX boards: add up_perf_init to support SEGGER SystemView

This commit is contained in:
Jari van Ewijk 2022-08-01 11:53:49 +02:00 committed by Petro Karashchenko
parent a554b9ce89
commit 1e6054afba
8 changed files with 36 additions and 8 deletions

View File

@ -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 **********************************************************/

View File

@ -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 */

View File

@ -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 **********************************************************/

View File

@ -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 */

View File

@ -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 **********************************************************/

View File

@ -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 */

View File

@ -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 **********************************************************/

View File

@ -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 */