| #@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 += "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 virtual/bootloader" |
| |
| UBOOT_MACHINE ?= "microblaze-generic_config" |