#ifndef K06_HOST_FREERTOS_H
#define K06_HOST_FREERTOS_H

#include <stddef.h>

#define portBYTE_ALIGNMENT 8U
#define portBYTE_ALIGNMENT_MASK ( portBYTE_ALIGNMENT - 1U )

#ifdef __cplusplus
extern "C" {
#endif

void * pvPortMalloc( size_t bytes );
void vPortFree( void * memory );

#ifdef __cplusplus
}
#endif

#endif