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.
13void uart_pputc(char c);
14
15// Common code.
16void uart_puts(const char* str);
17void uart_print_hex(uint64_t value);
18