1// Copyright 2018 The Fuchsia Authors. All rights reserved.
2// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
4
5#include "debug.h"
6#include "util.h"
7
8void fail(const char* message) {
9    uart_puts(message);
10    while (1) {}
11}
12