# Copyright (c) 2019 Intel Corporation # SPDX-License-Identifier: Apache-2.0 config BOARD_ACRN bool "ACRN User OS" depends on SOC_IA32 select CPU_HAS_FPU select SET_GDT