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