| 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" |
| Patrick Williams | 2194f50 | 2022-10-16 14:26:09 -0500 | [diff] [blame^] | 22 | PREFERRED_VERSION_linux-yocto ?= "5.19%" |
| 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" |
| 32 | |
| Patrick Williams | 92b42cb | 2022-09-03 06:53:57 -0500 | [diff] [blame] | 33 | #optee |
| 34 | PREFERRED_VERSION_optee-os ?= "3.18.%" |
| 35 | |
| Brad Bishop | bec4ebc | 2022-08-03 09:55:16 -0400 | [diff] [blame] | 36 | #grub-efi |
| 37 | EFI_PROVIDER ?= "grub-efi" |
| 38 | MACHINE_FEATURES += "efi" |
| 39 | |
| 40 | # SD-Card firmware |
| 41 | EXTRA_IMAGEDEPENDS += "sdcard-image-n1sdp" |