/*
Copyright (c) 2019 zoomdy@163.com
RV-LINK is licensed under the Mulan PSL v1.
You can use this software according to the terms and conditions of the Mulan PSL v1.
You may obtain a copy of Mulan PSL v1 at:
    http://license.coscl.org.cn/MulanPSL
THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, EITHER EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, MERCHANTABILITY OR FIT FOR A PARTICULAR
PURPOSE.
See the Mulan PSL v1 for more details.
 */
#ifndef __RISCV_DEBUG_SPEC_V0P13_H__
#define __RISCV_DEBUG_SPEC_V0P13_H__

#include "riscv-debug-spec.h"

#define RVL_TARGET_CONFIG_RISCV_DEBUG_SPEC         RISCV_DEBUG_SPEC_VERSION_V0P13

#endif /* __RISCV_DEBUG_SPEC_V0P13_H__ */
