1## SPDX-License-Identifier: GPL-2.0-only 2 3config SOC_INTEL_COMMON_BLOCK_TIMER 4 bool 5 help 6 Intel Processor common TIMER support 7 8config 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. 21