# 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_BUILD_NO_GAP_FILL=y | |
CONFIG_APIC_TSC_DEADLINE_TIMER=n | |
CONFIG_HPET_TIMER=y |