// (C) 2020-2026 Philip Endecott.
// Distributed under the Boost Software License, Version 1.0.
// See accompanying file LICENCE.txt or copy at https://www.boost.org/LICENSE_1_0.txt

#include "debug.hh"


#ifdef ENABLE_DEBUG
volatile Uart& debug_uart = uart0;
#endif