// SPDX-License-Identifier: GPL-2.0
/*
 * Copyright (C) 2022 BSH Hausgeraete GmbH
 *
 * Author: Michael Trimarchi <michael@amarulasolutions.com>
 */

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

&aips2 {
	bootph-all;
};

&iomuxc {
	bootph-all;
};

&iomuxc_snvs {
	bootph-all;
};

&uart4 {
	bootph-all;
};

&pinctrl_uart4 {
	bootph-all;
};

&gpmi {
	bootph-pre-ram;
	bootph-all;
};