# Copyright (c) 2017 Intel Corporation
#
# SPDX-License-Identifier: Apache-2.0

if BOARD_INTEL_S1000_CRB

config BOARD
	default intel_s1000_crb

config BOARD_XTENSA
	def_bool y

endif # BOARD_INTEL_S1000_CRB