// SPDX-License-Identifier: GPL-2.0-or-later
/*
 * (C) Copyright 2024 - Analog Devices, Inc.
 */

#include <dt-bindings/interrupt-controller/arm-gic.h>
#include <dt-bindings/clock/adi-sc5xx-clock.h>

/ {
	#address-cells = <1>;
	#size-cells = <1>;

	clocks {
		sys_clkin0: sys_clkin0 {
			compatible = "fixed-clock";
			#clock-cells = <0>;
			clock-frequency = <25000000>;
			bootph-all;
		};

		sys_clkin1: sys_clkin1 {
			compatible = "fixed-clock";
			#clock-cells = <0>;
			clock-frequency = <25000000>;
			bootph-all;
		};
	};

	soc {
		#address-cells = <1>;
		#size-cells = <1>;
		compatible = "simple-bus";
		device_type = "soc";
		ranges;
		bootph-all;

		timer0: timer@31018000 {
			compatible = "adi,sc5xx-gptimer";
			reg = <0x31018004 0x100>,
			      <0x31018060 0x100>;
			status = "okay";
			bootph-all;
		};

		clk: clocks@3108d000 {
			reg = <0x3108d000 0x1000>;
			#clock-cells = <1>;
			clocks = <&sys_clkin0>, <&sys_clkin1>;
			clock-names = "sys_clkin0", "sys_clkin1";
			status = "okay";
			bootph-all;
		};
	};
};
