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 */ abort(void)12void abort (void) 13 { 14 ERROR("ABORT\n"); 15 panic(); 16 } 17