// SPDX-License-Identifier: BSD-2-Clause
/*
 * Copyright (c) 2014, STMicroelectronics International N.V.
 */
#include <stdlib.h>
#include <stdio.h>
#include <tee_api.h>
#include <compiler.h>
#include <utee_syscalls.h>

void abort(void)
{
	printf("Abort!\n");
	utee_panic(0);
	/* Not reached */
	while (1)
		;
}