/*
 *
 * Copyright (C) 2012-2020, Samsung Electronics Co., Ltd.
 *
 * Board initial configuration
 */

#include <string.h>
#include <tee_internal_api.h>
#include "board.h"
#include "dbg.h"

boardInfo_t board;

/* Initialize board info */
TEE_Result tuiHalBoardInit(void)
{
    dbgPrintf(">> %s\n", __func__);

    TEE_MemFill(&board, 0, sizeof(board));
    // add mtk board init code


    board.gpio.state = DEV_UNCONFIGURED;
    board.gpio.irq_num = TOUCH_INT_NUM;

    board.touch.state = DEV_UNCONFIGURED;
    board.touch.irq_num = TOUCH_INT_NUM;

    dbgPrintf("<< %s\n", __func__);
    return TEE_SUCCESS;
}