1 /*
2 * Copyright (c) 2013-2014, ARM Limited and Contributors. All rights reserved.
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
7 #include <debug.h>
8
9 /*
10 * This is a basic implementation. This could be improved.
11 */
12 void abort (void)
13 {
14 ERROR("ABORT\n");
15 panic();
16 }
17