#ifndef __TREZORHAL_SECBOOL_H__
#define __TREZORHAL_SECBOOL_H__
#include <stdint.h>
typedef uint32_t secbool;
#define sectrue 0xAAAAAAAA
#define secfalse 0x00000000
#endif