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 
fail(const char * message)8 void fail(const char* message) {
9     uart_puts(message);
10     while (1) {}
11 }
12