#ifndef _SYS_ARCH_H
#define _SYS_ARCH_H

#include <stdint.h>

typedef volatile uint32_t sys_sem_t;
typedef volatile uint32_t sys_mutex_t;
typedef volatile uint32_t sys_mbox_t;
typedef volatile uint32_t sys_prot_t;
typedef volatile uint32_t sys_thread_t;

#endif // _SYS_ARCH_H
