#@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"
MACHINE_DEVICETREE := " \
		kc705/kc705-microblazeel.dts \
		kc705/pl.dtsi \
		kc705/system-conf.dtsi"

EXTRA_IMAGEDEPENDS += "virtual/bitstream"