#ifndef  __RTOS_CONFIG_H__
#define  __RTOS_CONFIG_H__

#ifndef __ASSEMBLER__
#include "commdefs.h"

typedef uint32_t Timeout;

#endif // __ASSEMBLER__

#include "rtos_target_cfg.h"

//    Specify Process Count. Must be less than 31

#define  PROCESS_COUNT                  3

//    RTOS Idle Process Stack size (in bytes)
//    (20 * sizeof(TStackItem)) - it's a minimum allowed value.
//
#define IDLE_PROCESS_STACK_SIZE       (100 * sizeof(StackItem))

#endif // __RTOS_CONFIG_H__