| // 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) | |
| ; | |
| } |