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