soc: arm: nxp_s32: s32k1: enable watchdog driver

Enable on-chip watchdog driver support for S32K1 devices.

Signed-off-by: Manuel Argüelles <manuel.arguelles@nxp.com>

dts/arm/nxp/nxp_s32k1xx.dtsi

@@ -1,5 +1,5 @@
 /*
- * Copyright 2023 NXP
+ * Copyright 2023-2024 NXP
  *
  * SPDX-License-Identifier: Apache-2.0
  */
@@ -9,6 +9,10 @@
 #include <zephyr/dt-bindings/i2c/i2c.h>
 
 / {
+	aliases {
+		watchdog0 = &wdog;
+	};
+
 	cpus {
 		#address-cells = <1>;
 		#size-cells = <0>;
@@ -124,6 +128,15 @@
 			clocks = <&clock NXP_S32_PORTE_CLK>;
 		};
 
+		wdog: watchdog@40052000 {
+			compatible = "nxp,kinetis-wdog32";
+			reg = <0x40052000 0x1000>;
+			interrupts = <22 0>;
+			clocks = <&clock NXP_S32_LPO_128K_CLK>;
+			clk-source = <1>;
+			clk-divider = <256>;
+		};
+
 		clock: clock-controller@40064000 {
 			compatible = "nxp,s32-clock";
 			reg = <0x40064000 0x1000>, <0x40065000 0x1000>;

soc/arm/nxp_s32/s32k1/Kconfig.series

@@ -1,6 +1,6 @@
 # NXP S32K1XX MCU series
 
-# Copyright 2023 NXP
+# Copyright 2023-2024 NXP
 # SPDX-License-Identifier: Apache-2.0
 
 config SOC_SERIES_S32K1XX
@@ -18,5 +18,6 @@ config SOC_SERIES_S32K1XX
 	select HAS_MCUX_LPSPI
 	select HAS_MCUX_FTM
 	select HAS_MCUX_FLEXCAN
+	select HAS_MCUX_WDOG32
 	help
 	  Enable support for NXP S32K1XX MCU series.

soc/arm/nxp_s32/s32k1/soc.c

@@ -20,8 +20,6 @@
 #endif
 
 #if defined(CONFIG_WDOG_INIT)
-#define WDOG_UPDATE_KEY    0xD928C520U
-
 void z_arm_watchdog_init(void)
 {
 	/*

west.yml

@@ -193,7 +193,7 @@ manifest:
       groups:
         - hal
     - name: hal_nxp
-      revision: d6d43cab73f1a0fc73ec26084dab3f54c6324d2e
+      revision: 3d4be32141dd8605515d95f8d1a2340974190cff
       path: modules/hal/nxp
       groups:
         - hal