#@TYPE: Machine
#@NAME: intel-x86-64
#@DESCRIPTION: common MACHINE for 64-bit x86 boards. User must set ${ZEPHYR_BOARD}. By default is set to 'ech_crb' board.

require conf/machine/include/tune-corei7-common.inc

ARCH_intel-x86-64 = "x86"

# Supported Boards:
# ZEPHYR_BOARD ?= "acrn"
# ZEPHYR_BOARD ?= "acrn_ehl_crb"
# ZEPHYR_BOARD ?= "up_squared"
# ZEPHYR_BOARD ?= "ehl_crb_sbl"
ZEPHYR_BOARD ?= "ehl_crb"