#ifndef PLATFORM_WRAPPER_H
#define PLATFORM_WRAPPER_H
#define MCU_SYS 1
#define CTRL__TIMER_ONESHOT (0)
#define HOSTED_SEM_BLOCKING (-1)
#define mem_free(x) hosted_free(x)
void* hosted_malloc(size_t size);
void* hosted_calloc(size_t blk_no, size_t size);
void hosted_free(void* ptr);
#endif