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