#ifndef K07_HOST_FREERTOS_H
#define K07_HOST_FREERTOS_H

#include <stdint.h>

typedef int32_t BaseType_t;
typedef uint32_t UBaseType_t;
typedef uint32_t configSTACK_DEPTH_TYPE;
typedef void * TaskHandle_t;

#define pdPASS ( ( BaseType_t ) 1 )
#define pdFAIL ( ( BaseType_t ) 0 )

#endif