/*
 * Copyright (c) 2021-2022, Xilinx Inc.
 * Copyright (c) 2022-2024, Advanced Micro Devices, Inc. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef DCC_H
#define DCC_H

#include <stdint.h>
#include <drivers/console.h>

/*
 * Initialize a new dcc console instance and register it with the console
 * framework.
 */
int console_dcc_register(console_t *console);
void console_dcc_unregister(console_t *console);

#endif /* DCC_H */