/*
 * Copyright (c) 2021,  Xilinx Inc.
 *
 * 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(void);

#endif /* DCC */