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

#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));

    /* Touch GPIO */
    board.gpio.state = DEV_UNCONFIGURED;
    board.gpio.irq_num = TOUCH_INT_NUM;

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