#ifndef HDM_ALLOWLIST_H_
#define HDM_ALLOWLIST_H_

#include "hdm_defs.h"
#include "tz_hdm_interface.h"
#include "tee_internal_api.h"
#include "uuid/uuid.h"

// KG TA
#define KG_UUID        {0,0,0,{0x00, 0x00 ,0x6b, 0x6e, 0x78, 0x67, 0x75, 0x64}}

static TEE_UUID hdm_allowlist[] =
{
    KG_UUID
};

uint8_t check_permission(TEEC_UUID *ta_name);

#endif /* HDM_ALLOWLIST_H_ */