blob: 73ff40fdd97a54c8f53697190354d11bc12c630b [file] [log] [blame]
Brad Bishop286d45c2018-10-02 15:21:57 -04001#@TYPE: Machine
2#@NAME: kc705-microblazeel
3#@DESCRIPTION: Machine support for Xilinx KC705 Embedded Kit.
4#
5
6require conf/machine/include/tune-microblaze.inc
7require conf/machine/include/machine-xilinx-default.inc
Brad Bishop286d45c2018-10-02 15:21:57 -04008
9TUNE_FEATURES_tune-microblaze += "v10.0 barrel-shift reorder pattern-compare multiply-high divide-hard"
10
11MACHINE_FEATURES = ""
12
13USE_VT = ""
14SERIAL_CONSOLE = "115200 ttyS0"
15
16KERNEL_IMAGETYPE ?= "linux.bin.ub"
17
18MACHINE_ESSENTIAL_EXTRA_RDEPENDS += "device-tree"
19PREFERRED_PROVIDER_virtual/kernel ?= "linux-xlnx"
20PREFERRED_PROVIDER_virtual/bootloader ?= "u-boot-xlnx"
21
Brad Bishop1a4b7ee2018-12-16 17:11:34 -080022EXTRA_IMAGEDEPENDS += "virtual/bitstream virtual/bootloader"
Brad Bishop286d45c2018-10-02 15:21:57 -040023
24UBOOT_MACHINE ?= "microblaze-generic_config"