#ifndef __TREZORHAL_SECBOOL_H__
#define __TREZORHAL_SECBOOL_H__

#include <stdint.h>

typedef uint32_t secbool;
#define sectrue  0xAAAAAAAAU
#define secfalse 0x00000000U

#endif