#ifndef HOST_FREERTOS_H
#define HOST_FREERTOS_H
#include <cassert>
#include <cstddef>
#include <cstdint>
using BaseType_t = std::int32_t;
using UBaseType_t = std::uint32_t;
using TickType_t = std::uint32_t;
using TaskHandle_t = void *;
struct StaticQueue_t { alignas( std::max_align_t ) unsigned char bytes[ 128 ]; };
#define pdFALSE 0
#define pdTRUE 1
#define pdFAIL 0
#define pdPASS 1
#define configASSERT( condition ) assert( condition )
extern "C" void fake_yield_from_isr( BaseType_t );
#define portYIELD_FROM_ISR( request ) fake_yield_from_isr( request )
#endif
