diff options
| -rw-r--r-- | common/spl/Kconfig | 9 | ||||
| -rw-r--r-- | drivers/Makefile | 1 |
2 files changed, 10 insertions, 0 deletions
diff --git a/common/spl/Kconfig b/common/spl/Kconfig index bdbab19d2d..3e71817b69 100644 --- a/common/spl/Kconfig +++ b/common/spl/Kconfig @@ -537,6 +537,15 @@ config SPL_SPI_SUPPORT enable SPI drivers that are needed for other purposes also, such as a SPI PMIC. +config SPL_TIMER_SUPPORT + bool "Support timer drivers" + depends on SPL + help + Enable support for timer drivers in SPL. These can be used to get + a timer value when in SPL, or perhaps for implementing a delay + function. This enables the drivers in drivers/timer as part of an + SPL build. + config SPL_USB_HOST_SUPPORT bool "Support USB host drivers" depends on SPL diff --git a/drivers/Makefile b/drivers/Makefile index f070ea9b2b..00dc041f1b 100644 --- a/drivers/Makefile +++ b/drivers/Makefile @@ -35,6 +35,7 @@ obj-$(CONFIG_SPL_ETH_SUPPORT) += net/phy/ obj-$(CONFIG_SPL_USBETH_SUPPORT) += net/phy/ obj-$(CONFIG_SPL_PCI_SUPPORT) += pci/ obj-$(CONFIG_SPL_RTC_SUPPORT) += rtc/ +obj-$(CONFIG_SPL_TIMER_SUPPORT) += timer/ obj-$(CONFIG_SPL_MUSB_NEW_SUPPORT) += usb/musb-new/ obj-$(CONFIG_SPL_USB_GADGET_SUPPORT) += usb/gadget/ obj-$(CONFIG_SPL_USB_GADGET_SUPPORT) += usb/gadget/udc/ |