src/soc/intel/common/block/timer/Kconfig

   1 ## SPDX-License-Identifier: GPL-2.0-only
   2
   3 config SOC_INTEL_COMMON_BLOCK_TIMER
   4         bool
   5         help
   6           Intel Processor common TIMER support
   7
   8 config USE_LEGACY_8254_TIMER
   9         bool "Use Legacy 8254 Timer"
  10         default y if PAYLOAD_SEABIOS || VGA_ROM_RUN
  11         default n
  12         help
  13           Setting this makes the Legacy 8254 Timer available by disabling
  14           clock gating. This needs to be enabled in order to boot a legacy
  15           BIOS or OS not supporting other timers like PM timer or TSC.
  16
  17           While SeaBIOS does not require this timer anymore, it is needed
  18           when OpRoms are being used.
  19
  20           Disable this setting to save power, when the timer is not needed.