commit 3b8dfc42a239cbb1561e7ecbc116b69fb6913355
author Tom Rini <trini@konsulko.com> Wed Nov 16 13:10:38 2022 -0500
committer Tom Rini <trini@konsulko.com> Mon Dec 05 16:06:07 2022 -0500
tree 1d2e7ca50df2a2141ceb27f5034d3f8e764a5980
parent aa6e94deabb45154cea07ad44c4a5c047bca078b

Convert CONFIG_SYS_TIMER_COUNTS_DOWN to Kconfig

This converts the following to Kconfig:
   CONFIG_SYS_TIMER_COUNTS_DOWN

Signed-off-by: Tom Rini <trini@konsulko.com>
Reviewed-by: Simon Glass <sjg@chromium.org>

configs/socfpga_de10_standard_defconfig

diff --git a/configs/socfpga_de10_standard_defconfig b/configs/socfpga_de10_standard_defconfig
index 412b0da..dbf979e 100644
--- a/configs/socfpga_de10_standard_defconfig
+++ b/configs/socfpga_de10_standard_defconfig
@@ -72,3 +72,4 @@
 CONFIG_USB_GADGET_DWC2_OTG=y
 CONFIG_USB_GADGET_DOWNLOAD=y
 # CONFIG_SPL_WDT is not set
+CONFIG_SYS_TIMER_COUNTS_DOWN=y