// SPDX-License-Identifier: GPL-2.0
/*
 * AM62x LP SK dts file for SPLs
 * Copyright (C) 2024 Texas Instruments Incorporated - https://www.ti.com/
 */

#include "k3-am62-lp-sk-binman.dtsi"

/ {
	chosen {
		tick-timer = &main_timer0;
	};
};

&main_timer0 {
	clock-frequency = <25000000>;
};