#@TYPE: Machine
#@NAME: kc705-trd-microblazeel
#@DESCRIPTION: Machine support for Xilinx KC705 Embedded Kit TRD.
#
# Note: this TRD contains the 'Xylon logiSDHC' additional IP core, this is not
#       supported by this BSP.
#
# For details on the TRD and Evaluation board:
#     http://www.xilinx.com/products/boards-and-kits/DK-K7-EMBD-G.htm
# For documentation and design files for the TRD:
#     http://www.xilinx.com/support/index.html/content/xilinx/en/supportNav/boards_and_kits/kintex-7_boards_and_kits/kintex-7_fpga_embedded_kit.html
#

TARGET_CPU = "microblazeel"
MACHINE_FEATURES := ""

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 += "v8.50 little-endian barrel-shift pattern-compare reorder multiply-low"

USE_VT = ""
SERIAL_CONSOLE = "115200 ttyS0"

MACHINE_DEVICETREE := "kc705/kc705-trd-microblazeel.dts"
MACHINE_XPARAMETERS := "kc705/kc705-trd-microblazeel.xparameters.h"