| Brad Bishop | bec4ebc | 2022-08-03 09:55:16 -0400 | [diff] [blame] | 1 | # Configuration for Arm SGI575 development board |
| 2 | |
| 3 | #@TYPE: Machine |
| 4 | #@NAME: SGI575 |
| 5 | #@DESCRIPTION: Machine configuration for SGI575 |
| 6 | |
| 7 | require conf/machine/include/arm/armv8-2a/tune-cortexa75.inc |
| 8 | |
| 9 | EXTRA_IMAGEDEPENDS += "virtual/control-processor-firmware" |
| 10 | |
| 11 | EXTRA_IMAGEDEPENDS += "trusted-firmware-a" |
| Patrick Williams | 169d7bc | 2024-01-05 11:33:25 -0600 | [diff] [blame] | 12 | PREFERRED_VERSION_trusted-firmware-a ?= "2.9.%" |
| Brad Bishop | bec4ebc | 2022-08-03 09:55:16 -0400 | [diff] [blame] | 13 | |
| 14 | KERNEL_IMAGETYPE ?= "Image" |
| 15 | PREFERRED_PROVIDER_virtual/kernel ?= "linux-yocto" |
| 16 | SERIAL_CONSOLES = "115200;ttyAMA0" |
| 17 | |
| 18 | #grub-efi |
| 19 | EFI_PROVIDER ?= "grub-efi" |
| 20 | MACHINE_FEATURES += "efi" |
| 21 | |
| 22 | IMAGE_FSTYPES += "cpio.gz wic" |
| 23 | |
| 24 | WKS_FILE ?= "sgi575-efidisk.wks" |
| 25 | WKS_FILE_DEPENDS:append = " ${EXTRA_IMAGEDEPENDS}" |