# SPDX-License-Identifier: Apache-2.0

CONFIG_X86=y
CONFIG_SOC_IA32=y
CONFIG_BOARD_X86_JAILHOUSE=y
CONFIG_CPU_MINUTEIA=y
CONFIG_IA32_LEGACY_IO_PORTS=y
CONFIG_JAILHOUSE=y
CONFIG_JAILHOUSE_X2APIC=y
CONFIG_KERNEL_ENTRY="__jh_entry"
CONFIG_IOAPIC_MASK_RTE=n
CONFIG_PIC_DISABLE=n
CONFIG_LOAPIC=y
CONFIG_LOAPIC_TIMER=y
CONFIG_CONSOLE=y
CONFIG_SERIAL=y
CONFIG_UART_NS16550=y
CONFIG_UART_CONSOLE=y
CONFIG_TEST_RANDOM_GENERATOR=y
CONFIG_XIP=n
CONFIG_X86_MMU=y
CONFIG_REALMODE=y