/* SPDX-License-Identifier: GPL-2.0 OR X11 */

#include <riscv/sifive/hifive-unmatched-a00.dts>