diff options
| author | Jean-Christophe PLAGNIOL-VILLARD <plagnioj@jcrosoft.com> | 2017-03-03 13:34:04 +0100 |
|---|---|---|
| committer | Sascha Hauer <s.hauer@pengutronix.de> | 2017-03-09 07:36:16 +0100 |
| commit | 637d6dfef2e67bc91cacd1954f465df160fa5207 (patch) | |
| tree | 21d2af8370797a696ae5b9963f52f391f343ff59 /drivers/clocksource/Kconfig | |
| parent | da11bd9d6028b811732e98bc8cbf3e00b7a1f2b3 (diff) | |
| download | barebox-637d6dfef2e67bc91cacd1954f465df160fa5207.tar.gz barebox-637d6dfef2e67bc91cacd1954f465df160fa5207.tar.xz | |
efi: clocksoure: add EFI event timer
with this we can be hw generic
If the EFI implement timestamp protocol we could use instead of event
but even EDK2 Never Ever compile it for any target.
Signed-off-by: Jean-Christophe PLAGNIOL-VILLARD <plagnioj@jcrosoft.com>
Signed-off-by: Sascha Hauer <s.hauer@pengutronix.de>
Diffstat (limited to 'drivers/clocksource/Kconfig')
| -rw-r--r-- | drivers/clocksource/Kconfig | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/drivers/clocksource/Kconfig b/drivers/clocksource/Kconfig index 9b7f0a9d7f..b12a854031 100644 --- a/drivers/clocksource/Kconfig +++ b/drivers/clocksource/Kconfig @@ -34,6 +34,10 @@ config CLOCKSOURCE_DUMMY_RATE The option CONFIG_CLOCKSOURCE_DUMMY_RATE is used to adjust this clocksource. The bigger rate valuest makes clocksource "faster". +config CLOCKSOURCE_EFI + bool "Generic EFI Driver" + depends on EFI_BOOTUP + config CLOCKSOURCE_EFI_X86 bool "EFI X86 HW driver" depends on EFI_BOOTUP && X86 |