| Brad Bishop | bec4ebc | 2022-08-03 09:55:16 -0400 | [diff] [blame] | 1 | # Configuration for Arm N1SDP development board |
| 2 | |
| 3 | #@TYPE: Machine |
| 4 | #@NAME: N1SDP machine |
| 5 | #@DESCRIPTION: Machine configuration for N1SDP |
| 6 | |
| 7 | require conf/machine/include/arm/armv8-2a/tune-neoversen1.inc |
| 8 | |
| 9 | KERNEL_IMAGETYPE = "Image" |
| 10 | |
| 11 | IMAGE_FSTYPES += "wic wic.gz wic.bmap tar.bz2 ext4" |
| 12 | |
| 13 | SERIAL_CONSOLES = "115200;ttyAMA0" |
| 14 | |
| 15 | # Set default WKS |
| 16 | WKS_FILE ?= "n1sdp-efidisk.wks" |
| 17 | IMAGE_EFI_BOOT_FILES ?= "n1sdp-multi-chip.dtb n1sdp-single-chip.dtb" |
| 18 | WKS_FILE_DEPENDS:append = " ${EXTRA_IMAGEDEPENDS}" |
| 19 | |
| 20 | # Use kernel provided by yocto |
| 21 | PREFERRED_PROVIDER_virtual/kernel ?= "linux-yocto" |
| Andrew Geissler | 2daf84b | 2023-03-31 09:57:23 -0500 | [diff] [blame] | 22 | PREFERRED_VERSION_linux-yocto ?= "6.1%" |
| Brad Bishop | bec4ebc | 2022-08-03 09:55:16 -0400 | [diff] [blame] | 23 | |
| 24 | # RTL8168E Gigabit Ethernet Controller is attached to the PCIe interface |
| 25 | MACHINE_ESSENTIAL_EXTRA_RDEPENDS += "linux-firmware-rtl8168" |
| 26 | |
| 27 | EXTRA_IMAGEDEPENDS += "trusted-firmware-a" |
| 28 | EXTRA_IMAGEDEPENDS += "virtual/control-processor-firmware" |
| 29 | |
| 30 | #UEFI EDK2 firmware |
| 31 | EXTRA_IMAGEDEPENDS += "edk2-firmware" |
| Patrick Williams | 8e7b46e | 2023-05-01 14:19:06 -0500 | [diff] [blame] | 32 | PREFERRED_VERSION_edk2-firmware ?= "202211" |
| Brad Bishop | bec4ebc | 2022-08-03 09:55:16 -0400 | [diff] [blame] | 33 | |
| Patrick Williams | 92b42cb | 2022-09-03 06:53:57 -0500 | [diff] [blame] | 34 | #optee |
| Patrick Williams | 8e7b46e | 2023-05-01 14:19:06 -0500 | [diff] [blame] | 35 | PREFERRED_VERSION_optee-os ?= "3.20.%" |
| Patrick Williams | 92b42cb | 2022-09-03 06:53:57 -0500 | [diff] [blame] | 36 | |
| Brad Bishop | bec4ebc | 2022-08-03 09:55:16 -0400 | [diff] [blame] | 37 | #grub-efi |
| 38 | EFI_PROVIDER ?= "grub-efi" |
| 39 | MACHINE_FEATURES += "efi" |
| 40 | |
| 41 | # SD-Card firmware |
| 42 | EXTRA_IMAGEDEPENDS += "sdcard-image-n1sdp" |