
#ifndef __SYS_RTXC_H__
#define __SYS_RTXC_H__

#include "lwipopts.h"
#if (NO_SYS == 0)
#include "FreeRTOS.h"
#include "task.h"
#include "queue.h"
#include "semphr.h"

#define SYS_MBOX_NULL (xQueueHandle)0
#define SYS_SEM_NULL  (xSemaphoreHandle)0

typedef xSemaphoreHandle sys_sem_t;
typedef xQueueHandle sys_mbox_t;
typedef xTaskHandle sys_thread_t;
#else
#define SYS_MBOX_NULL 0
#define SYS_SEM_NULL  0

#endif
#endif /* __SYS_RTXC_H__ */

