Convert CONFIG_SYS_TIMER_COUNTS_DOWN to Kconfig

[J-u-boot.git] / configs / socfpga_de0_nano_soc_defconfig

diff --git a/configs/socfpga_de0_nano_soc_defconfig b/configs/socfpga_de0_nano_soc_defconfig
index 5f5706fbdb2283757d0ec7c31db1b4cc5e0a474c..905afb7d04612fe061c23b3ccb4884da3b162293 100644 (file)
--- a/configs/socfpga_de0_nano_soc_defconfig
+++ b/configs/socfpga_de0_nano_soc_defconfig
@@ -75,3 +75,4 @@ CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
 CONFIG_USB_GADGET_DWC2_OTG=y
 CONFIG_USB_GADGET_DOWNLOAD=y
 # CONFIG_SPL_WDT is not set
+CONFIG_SYS_TIMER_COUNTS_DOWN=y