/*
 * Copyright (C) 2018 Intel Corporation. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef HV_DEBUG_H
#define HV_DEBUG_H

#include <logmsg.h>
#include <serial.h>
#include <vuart.h>
#include <console.h>
#include <dump.h>
#include <trace.h>
#include <shell.h>
#include <sbuf.h>
#include <assert.h>
#include <printf.h>

#endif /* HV_DEBUG_H */