blob: b777c249684219521ed1d053382bd6cc0085a110 [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
require conf/machine/include/machine-xilinx-board.inc
TUNE_FEATURES_tune-microblaze += "v10.0 barrel-shift reorder pattern-compare multiply-high divide-hard"
MACHINE_FEATURES = ""
USE_VT = ""
SERIAL_CONSOLE = "115200 ttyS0"
KERNEL_IMAGETYPE ?= "linux.bin.ub"
MACHINE_ESSENTIAL_EXTRA_RDEPENDS += "device-tree"
PREFERRED_PROVIDER_virtual/kernel ?= "linux-xlnx"
PREFERRED_PROVIDER_virtual/bootloader ?= "u-boot-xlnx"
EXTRA_IMAGEDEPENDS += "virtual/bitstream"
UBOOT_MACHINE ?= "microblaze-generic_config"