// SPDX-License-Identifier: (GPL-2.0+)
/*
 * Copyright (C) 2019 Claudius Heine <ch@denx.de>
 */

/ {
	wdt-reboot {
		compatible = "wdt-reboot";
		wdt = <&wdog1>;
	};
};