/* SPDX-FileCopyrightText: 2015 Samsung Electronics Co., Ltd. */
/* SPDX-License-Identifier: Apache-2.0 */

#ifndef __USER_CONFIG_H__
#define __USER_CONFIG_H__


/* number of stack items, x4 for bytes */
#define JERRY_STACK_SIZE 2000


#endif
