1/*
2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: GPL-2.0-only
5 */
6
7/* Default implementations of required utility functions. Override these under
8 * plat-* if there is a more appropriate implementation for a given platform.
9 */
10
11#include <printf.h>
12
13void __attribute__((weak)) abort(void)
14{
15    printf("abort() called.\n");
16
17    while (1);
18}
19