arm: socfpga: disable CONFIG_SPL_WDT for gen5 and a10
authorSimon Goldschmidt <simon.k.r.goldschmidt@gmail.com>
Sat, 5 Oct 2019 20:10:11 +0000 (22:10 +0200)
committerTom Rini <trini@konsulko.com>
Sun, 6 Oct 2019 19:20:53 +0000 (15:20 -0400)
These boards don't have a watchdog enabled in SPL, so make sure
CONFIG_SPL_WDT is not enabled.

Fixes: commit 6874cb72204f ("watchdog: Split WDT from SPL_WDT")

Signed-off-by: Simon Goldschmidt <simon.k.r.goldschmidt@gmail.com>
13 files changed:
configs/socfpga_arria10_defconfig
configs/socfpga_arria5_defconfig
configs/socfpga_cyclone5_defconfig
configs/socfpga_dbm_soc1_defconfig
configs/socfpga_de0_nano_soc_defconfig
configs/socfpga_de10_nano_defconfig
configs/socfpga_de1_soc_defconfig
configs/socfpga_is1_defconfig
configs/socfpga_mcvevk_defconfig
configs/socfpga_sockit_defconfig
configs/socfpga_socrates_defconfig
configs/socfpga_sr1500_defconfig
configs/socfpga_vining_fpga_defconfig

index a2d555b9b47d8c18b1e903fc8b41e4f5f6c02c3f..7cb214d655304b58690dee1dbb2198bd4156e5c3 100644 (file)
@@ -46,3 +46,4 @@ CONFIG_SPI=y
 CONFIG_TIMER=y
 CONFIG_SPL_TIMER=y
 CONFIG_DESIGNWARE_APB_TIMER=y
+# CONFIG_SPL_WDT is not set
index d591c7e4d70c7cabeed02a7f4d2e5d4f002efb36..93254677e7fd3fdb55c64dc2737295caf0ad6221 100644 (file)
@@ -65,3 +65,4 @@ CONFIG_USB_GADGET_VENDOR_NUM=0x0525
 CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
 CONFIG_USB_GADGET_DWC2_OTG=y
 CONFIG_USB_GADGET_DOWNLOAD=y
+# CONFIG_SPL_WDT is not set
index 3f9766d0fbadcbd8f3a5fb174e4922746b14dc65..8e5b2e2f66f74503fd9cc129c1dbdc1c8efe2df2 100644 (file)
@@ -66,3 +66,4 @@ CONFIG_USB_GADGET_VENDOR_NUM=0x0525
 CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
 CONFIG_USB_GADGET_DWC2_OTG=y
 CONFIG_USB_GADGET_DOWNLOAD=y
+# CONFIG_SPL_WDT is not set
index c6c8f073eae74b000231aed899c98e9916f18511..c73f3821e7bc968e29817c7aa4feb497e561f860 100644 (file)
@@ -62,3 +62,4 @@ CONFIG_USB_GADGET_VENDOR_NUM=0x0525
 CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
 CONFIG_USB_GADGET_DWC2_OTG=y
 CONFIG_USB_GADGET_DOWNLOAD=y
+# CONFIG_SPL_WDT is not set
index bbd9d7f4b414096163e5536a0f00d91aaf5102e8..80ccb33fbb5d3734a64eb855737e255570d43f26 100644 (file)
@@ -61,3 +61,4 @@ CONFIG_USB_GADGET_VENDOR_NUM=0x0525
 CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
 CONFIG_USB_GADGET_DWC2_OTG=y
 CONFIG_USB_GADGET_DOWNLOAD=y
+# CONFIG_SPL_WDT is not set
index a2f58766cc4e2d2d3fab32fb9573661a5115bf38..98e80b7c864954f46c7f6cba23386aae2349f594 100644 (file)
@@ -57,3 +57,4 @@ CONFIG_USB_GADGET_VENDOR_NUM=0x0525
 CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
 CONFIG_USB_GADGET_DWC2_OTG=y
 CONFIG_USB_GADGET_DOWNLOAD=y
+# CONFIG_SPL_WDT is not set
index fa2bace56fd23f83fbdb4b1c89b5bd6f9ed5f70c..efa128ac8ea38601b124e3834d8bbfc0c417e48a 100644 (file)
@@ -47,4 +47,5 @@ CONFIG_SPI=y
 CONFIG_USB=y
 CONFIG_DM_USB=y
 CONFIG_USB_DWC2=y
+# CONFIG_SPL_WDT is not set
 # CONFIG_EFI_LOADER is not set
index 9e58fd11580357016f8c86c5e398d4fb11c36630..99cdb26aae51766667de55c07896d42d232bc524 100644 (file)
@@ -51,3 +51,4 @@ CONFIG_MII=y
 CONFIG_DM_RESET=y
 CONFIG_SPI=y
 CONFIG_CADENCE_QSPI=y
+# CONFIG_SPL_WDT is not set
index 39cc753888953d50e4eee440aefca789c92e47f1..e977cd77073dbe384562cc4a71d28bbbe124fdba 100644 (file)
@@ -58,3 +58,4 @@ CONFIG_USB_GADGET_VENDOR_NUM=0x0525
 CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
 CONFIG_USB_GADGET_DWC2_OTG=y
 CONFIG_USB_GADGET_DOWNLOAD=y
+# CONFIG_SPL_WDT is not set
index a3c6af7810665b44d9dcfa5b62943ebca835eb84..b570b9dc949449c65f009e17373e60d5376aef85 100644 (file)
@@ -66,3 +66,4 @@ CONFIG_USB_GADGET_VENDOR_NUM=0x0525
 CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
 CONFIG_USB_GADGET_DWC2_OTG=y
 CONFIG_USB_GADGET_DOWNLOAD=y
+# CONFIG_SPL_WDT is not set
index 1143cd3f3731b35ea79e75be532a92f3a16aa580..9eac00e49dc218928d6345d58aa8dec319de873c 100644 (file)
@@ -68,3 +68,4 @@ CONFIG_USB_GADGET_VENDOR_NUM=0x0525
 CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
 CONFIG_USB_GADGET_DWC2_OTG=y
 CONFIG_USB_GADGET_DOWNLOAD=y
+# CONFIG_SPL_WDT is not set
index 89349ceb4ecc20badf8db9b149447c5b7941a9b8..092347a6df53ecca95dcce19352c0da7433ab58e 100644 (file)
@@ -57,3 +57,4 @@ CONFIG_MII=y
 CONFIG_DM_RESET=y
 CONFIG_SPI=y
 CONFIG_CADENCE_QSPI=y
+# CONFIG_SPL_WDT is not set
index 6b2266fdfd85b4976ceafe25883f55dfe5360766..c52afddd2016ace2169d957403a9cdf0c0b92db5 100644 (file)
@@ -91,3 +91,4 @@ CONFIG_USB_GADGET_VENDOR_NUM=0x0525
 CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
 CONFIG_USB_GADGET_DWC2_OTG=y
 CONFIG_USB_GADGET_DOWNLOAD=y
+# CONFIG_SPL_WDT is not set