| # Configuration for Arm N1SDP development board |
| |
| #@TYPE: Machine |
| #@NAME: N1SDP machine |
| #@DESCRIPTION: Machine configuration for N1SDP |
| |
| require conf/machine/include/arm/armv8-2a/tune-neoversen1.inc |
| |
| KERNEL_IMAGETYPE = "Image" |
| |
| IMAGE_FSTYPES += "wic wic.gz wic.bmap tar.bz2 ext4" |
| |
| SERIAL_CONSOLES = "115200;ttyAMA0" |
| |
| # Set default WKS |
| WKS_FILE ?= "n1sdp-efidisk.wks" |
| IMAGE_EFI_BOOT_FILES ?= "n1sdp-multi-chip.dtb n1sdp-single-chip.dtb" |
| WKS_FILE_DEPENDS:append = " ${EXTRA_IMAGEDEPENDS}" |
| |
| # Use kernel provided by yocto |
| PREFERRED_PROVIDER_virtual/kernel ?= "linux-yocto" |
| PREFERRED_VERSION_linux-yocto ?= "6.1%" |
| |
| # RTL8168E Gigabit Ethernet Controller is attached to the PCIe interface |
| MACHINE_ESSENTIAL_EXTRA_RDEPENDS += "linux-firmware-rtl8168" |
| |
| EXTRA_IMAGEDEPENDS += "trusted-firmware-a" |
| EXTRA_IMAGEDEPENDS += "virtual/control-processor-firmware" |
| |
| #UEFI EDK2 firmware |
| EXTRA_IMAGEDEPENDS += "edk2-firmware" |
| PREFERRED_VERSION_edk2-firmware ?= "202211" |
| |
| #optee |
| PREFERRED_VERSION_optee-os ?= "3.20.%" |
| |
| #grub-efi |
| EFI_PROVIDER ?= "grub-efi" |
| MACHINE_FEATURES += "efi" |
| |
| # SD-Card firmware |
| EXTRA_IMAGEDEPENDS += "sdcard-image-n1sdp" |