#ifndef __RTOS_H__
#define __RTOS_H__

#include <stddef.h>
#include "commdefs.h"
#include "target.h"

#endif // __RTOS_H__