// Copyright lowRISC contributors (OpenTitan project).
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0

//! Debugging-related facilities.

pub mod dmi;
pub mod elf_debugger;
pub mod openocd;