# SPDX-License-Identifier: Apache-2.0
# Copyright (c) 2018 Intel Corporation

CONFIG_PIC_DISABLE=y
CONFIG_LOAPIC=y
CONFIG_CONSOLE=y
CONFIG_UART_CONSOLE=y
CONFIG_SERIAL=y
CONFIG_X2APIC=y
CONFIG_SMP=y
CONFIG_BUILD_OUTPUT_EFI=y

CONFIG_APIC_TSC_DEADLINE_TIMER=n
CONFIG_HPET_TIMER=y