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 #pragma once
6 
7 #include <stdint.h>
8 
9 // Uncomment to enable debug UART.
10 // #define DEBUG_UART 1
11 
12 // Board specific.
13 void uart_pputc(char c);
14 
15 // Common code.
16 void uart_puts(const char* str);
17 void uart_print_hex(uint64_t value);
18