#@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

TUNE_FEATURES_tune-microblaze += "v11.0 barrel-shift reorder pattern-compare multiply-high divide-hard"

MACHINE_FEATURES = ""

USE_VT = ""
SERIAL_CONSOLES ?= "115200;ttyS0"

KERNEL_IMAGETYPE ?= "linux.bin.ub"

MACHINE_ESSENTIAL_EXTRA_RDEPENDS += "device-tree"

EXTRA_IMAGEDEPENDS += "virtual/bitstream virtual/bootloader"

UBOOT_MACHINE = "microblaze-generic_defconfig"
