blob: 73f5b0468912dd79e675785563a3f6246b4a24fd [file] [log] [blame]
#@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"