#ifndef __R_CONFIGURATION_H__
#define __R_CONFIGURATION_H__


/* Here Define your MCU REGISTER MAP FILE */
#include "fsl_device_registers.h"


/* SysTick Configuration for TimeBase */
extern uint32_t SystemCoreClock;

#define CPU_CLOCK_HZ 		SystemCoreClock // Use Default System Clock in Hz
#define MAX_DELAY				0xFFFFFFFFU // Max Wayt Delay
#define TICK_RATE_HZ 		1000 // Getting SystemCoreClock divide by 1000 to get interrupt every 1ms

/* Thread Configuration Size and Number Max for TCB */
#define NUM_OF_THREADS	3
#define STACKSIZE				100

#endif /* __R_CONFIGURATION_H__ */