1# SPDX-License-Identifier: Apache-2.0
2
3CONFIG_SOC_IA32=y
4CONFIG_BOARD_ACRN=y
5CONFIG_PIC_DISABLE=y
6CONFIG_LOAPIC=y
7CONFIG_APIC_TSC_DEADLINE_TIMER=y
8CONFIG_X2APIC=y
9CONFIG_CONSOLE=y
10CONFIG_SERIAL=y
11CONFIG_UART_CONSOLE=y
12CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000
13CONFIG_BUILD_OUTPUT_BIN=y
14CONFIG_SHELL_BACKEND_SERIAL_INTERRUPT_DRIVEN=n
15CONFIG_KERNEL_VM_SIZE=0x1000000
16CONFIG_BUILD_NO_GAP_FILL=y
17