/*
 * This file is part of libgreat
 *
 * ARMv7-M synchronization primitives
 */

#include <stdint.h>

#ifndef __LIBGREAT_PLATFORM_SYNC_H__
#define __LIBGREAT_PLATFORM_SYNC_H__

typedef uint32_t mutex_t;

#endif // __LIBGREAT_PLATFORM_SYNC_H__
