#ifndef __TEE_PROPERTIES_H__
#define __TEE_PROPERTIES_H__

#include <sys/resource.h>
#include "version.h"

#define TA_PROP_UUID                    {0x00, 0x00, 0x00, {0x00, 0x00, 0x50, 0x52, 0x56, 0x54, 0x45, 0x45}}
#define TA_PROP_GROUP_ID                TA_GROUP_ID
#define TA_PROP_SINGLE_INSTANCE         FALSE
#define TA_PROP_MULTISESSION            FALSE
#define TA_PROP_INSTANCE_KEEPALIVE      FALSE
#define TA_PROP_DATASIZE                RLIM_INFINITY
#define TA_PROP_STACKSIZE               0x20000
#define TA_PROP_VERSION                 VERSION
#define TA_PROP_DESCRIPTION             TRUSTLET_TAG
#define TA_PROP_HAS_PRIVILEGES          TRUE
#define TA_PROP_PRIVILEGE_TA_MANAGEMENT FALSE
#define TA_PROP_ALLOC_IN_IRAM           FALSE
#define TA_PROP_THREAD_COUNT            1
#define TA_PROP_FLAGS                   0
#define TA_PROP_SERVICETYPE             0
#define TA_PROP_NUMINSTANCES            0
#define TA_PROP_INITIAL_PRIORITY        RLIM_DEF_PRIORITY
#define TA_PROP_MAX_PRIORITY            RLIM_MAX_PRIORITY
#define TA_PROP_DBG_DLM_DATA_AVAILABLE  TA_DBG_DLM_BLOCKED
#define TA_PROP_DBG_PMR_DATA_AVAILABLE  TA_DBG_PMR_BLOCKED

/* !!!! WARNING !!!! Do not write your code after this line !!!! */
#include <ta_property.h>

int __attribute__((visibility("default"))) __TA_PROPERTY_H_IS_INCLUDED_;
#endif  // End of __TEE__PROPERTIES_H__