| # Configuration for Arm SGI575 development board |
| |
| #@TYPE: Machine |
| #@NAME: SGI575 |
| #@DESCRIPTION: Machine configuration for SGI575 |
| |
| require conf/machine/include/arm/armv8-2a/tune-cortexa75.inc |
| |
| EXTRA_IMAGEDEPENDS += "virtual/control-processor-firmware" |
| |
| EXTRA_IMAGEDEPENDS += "trusted-firmware-a" |
| |
| KERNEL_IMAGETYPE ?= "Image" |
| PREFERRED_PROVIDER_virtual/kernel ?= "linux-yocto" |
| SERIAL_CONSOLES = "115200;ttyAMA0" |
| |
| #grub-efi |
| EFI_PROVIDER ?= "grub-efi" |
| MACHINE_FEATURES += "efi" |
| |
| IMAGE_FSTYPES += "cpio.gz wic" |
| |
| WKS_FILE ?= "sgi575-efidisk.wks" |
| WKS_FILE_DEPENDS:append = " ${EXTRA_IMAGEDEPENDS}" |