GNUBoot
/
coreboot-kgpe-d16
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

libpayload: allow x86 devices to provide non-tsc implementation 

Make is so that a different timer source can be provided instead
of TSC on x86 platforms.

BUG=b:72378235,b:72170796

Change-Id: I6faeecf7624a5aa4e1af8862036f1fbd2f54eb51
Signed-off-by: Aaron Durbin <adurbin@chromium.org>
Reviewed-on: https://review.coreboot.org/23435
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin Roth <martinroth@google.com>
Reviewed-by: Furquan Shaikh <furquan@google.com>
This commit is contained in:
Aaron Durbin 2018-01-25 14:02:33 -07:00
parent 51e4c1a76c
commit 610e2e6faf
1 changed files with 6 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
payloads/libpayload/drivers/timer/Kconfig
View File

@ -10,15 +10,14 @@
## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
## GNU General Public License for more details. ## GNU General Public License for more details.
config TIMER_RDTSC
bool
default y
depends on ARCH_X86
choice choice
prompt "Timer driver" prompt "Timer driver"
default TIMER_NONE default TIMER_NONE if !ARCH_X86
depends on !ARCH_X86 default TIMER_RDTSC if ARCH_X86
config TIMER_RDTSC
bool "x86 rdtsc"
depends on ARCH_X86
config TIMER_NONE config TIMER_NONE
bool "None" bool "None"