// SPDX-License-Identifier: (GPL-2.0 OR MIT)
/*
 * Copyright (C) 2023 Inochi Amaoto <inochiama@outlook.com>
 */

#include <dt-bindings/interrupt-controller/irq.h>
#include "cv18xx.dtsi"

/ {
	compatible = "sophgo,cv1812h";

	memory@80000000 {
		device_type = "memory";
		reg = <0x80000000 0x10000000>;
	};
};

&plic {
	compatible = "sophgo,cv1812h-plic", "thead,c900-plic";
};

&clint {
	compatible = "sophgo,cv1812h-clint", "thead,c900-clint";
};