| Brad Bishop | 286d45c | 2018-10-02 15:21:57 -0400 | [diff] [blame] | 1 | #@TYPE: Machine |
| 2 | #@NAME: kc705-microblazeel |
| 3 | #@DESCRIPTION: Machine support for Xilinx KC705 Embedded Kit. |
| 4 | # |
| 5 | |
| 6 | require conf/machine/include/tune-microblaze.inc |
| 7 | require conf/machine/include/machine-xilinx-default.inc |
| 8 | require conf/machine/include/machine-xilinx-board.inc |
| 9 | |
| 10 | TUNE_FEATURES_tune-microblaze += "v10.0 barrel-shift reorder pattern-compare multiply-high divide-hard" |
| 11 | |
| 12 | MACHINE_FEATURES = "" |
| 13 | |
| 14 | USE_VT = "" |
| 15 | SERIAL_CONSOLE = "115200 ttyS0" |
| 16 | |
| 17 | KERNEL_IMAGETYPE ?= "linux.bin.ub" |
| 18 | |
| 19 | MACHINE_ESSENTIAL_EXTRA_RDEPENDS += "device-tree" |
| 20 | PREFERRED_PROVIDER_virtual/kernel ?= "linux-xlnx" |
| 21 | PREFERRED_PROVIDER_virtual/bootloader ?= "u-boot-xlnx" |
| 22 | |
| 23 | EXTRA_IMAGEDEPENDS += "virtual/bitstream" |
| 24 | |
| 25 | UBOOT_MACHINE ?= "microblaze-generic_config" |