blob: 5d1be823bb096d320c7755cd01533fb6dc73c77a [file] [log] [blame]
Brad Bishopbec4ebc2022-08-03 09:55:16 -04001# 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 ?= "5.15%"
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"
32
Patrick Williams92b42cb2022-09-03 06:53:57 -050033#optee
34PREFERRED_VERSION_optee-os ?= "3.18.%"
35
Brad Bishopbec4ebc2022-08-03 09:55:16 -040036#grub-efi
37EFI_PROVIDER ?= "grub-efi"
38MACHINE_FEATURES += "efi"
39
40# SD-Card firmware
41EXTRA_IMAGEDEPENDS += "sdcard-image-n1sdp"