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

#include <tee_internal_api.h>
#include <string.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));

    board.i2c.state = DEV_UNCONFIGURED;
    board.i2c.bus.clock_freq = 400000;
    board.i2c.bus.slave_address = TOUCH_IC_SLAVE_ADDR;

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

    board.touch.state = DEV_UNCONFIGURED;
    board.touch.irq_num = TOUCH_INT_NUM;
    board.touch.bus.device = &board.i2c;


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