#ifndef __TEEPLATFORMCONFIG_H_INCLUDED__
#define __TEEPLATFORMCONFIG_H_INCLUDED__

/* Need for different GP API compability for 'TEE_ObjectInfo' struct */
#define GP_TEE_keySize keySize

/* Add missed Linux system funcs redefinitions and declarations */
#include <stdio.h>
#include <stdlib.h>

/* Make alias to session ptr type to avoid compatibility issues with 
  different GlobalPlatform versions */
typedef void * session_ctx_ptr;

/* SWD configuration */
#define TA_GROUP_ID "samsung_ta"

#define TEE_PLATFORM_PRINT(STR) printf("%s\n", STR)
#define TEE_LOG(fmt, ...) printf("[E]"TRUSTLET_TAG" %-18s:%4d: "fmt"\n", \
		(strrchr(__FILE__, '/') == NULL) ? __FILE__ : strrchr(__FILE__, '/') + 1, __LINE__, ##__VA_ARGS__)

#endif /* __TEEPLATFORMCONFIG_H_INCLUDED__ */