S32 SDK
system_S32K142.c File Reference
#include "device_registers.h"
#include "system_S32K142.h"
#include "stdbool.h"

Go to the source code of this file.

Functions

void SystemInit (void)
 Setup the SoC. More...
 
void SystemCoreClockUpdate (void)
 Updates the SystemCoreClock variable. More...
 
void SystemSoftwareReset (void)
 Initiates a system reset. More...
 

Variables

uint32_t SystemCoreClock = DEFAULT_SYSTEM_CLOCK
 System clock frequency (core clock) More...