#@TYPE: Machine
#@NAME: kc705-microblazeel
#@DESCRIPTION: Machine support for Xilinx KC705 Embedded Kit.
#

require conf/machine/include/tune-microblaze.inc
require conf/machine/include/machine-xilinx-default.inc
require conf/machine/include/machine-xilinx-board.inc

TUNE_FEATURES_tune-microblaze += "v9.6 little-endian barrel-shift pattern-compare multiply-high"

MACHINE_FEATURES = ""

USE_VT = ""
SERIAL_CONSOLE = "115200 ttyS0"

MACHINE_ESSENTIAL_EXTRA_RDEPENDS += "device-tree"

EXTRA_IMAGEDEPENDS += "virtual/bitstream"

PREFERRED_PROVIDER_virtual/bootloader ?= "u-boot-xlnx"
PREFERRED_VERSION_u-boot-xlnx ?= "v2016.07-xilinx-v2016.4%"