95ed1429e6
This patch adds support for GICv3 (such as GIC-500). Signed-off-by: Jan Kotas <jank@cadence.com> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
47 lines
1.4 KiB
Plaintext
47 lines
1.4 KiB
Plaintext
comment "boot-wrapper-aarch64 needs a Linux kernel to be built"
|
|
depends on BR2_aarch64
|
|
depends on !BR2_LINUX_KERNEL
|
|
|
|
config BR2_TARGET_BOOT_WRAPPER_AARCH64
|
|
bool "boot-wrapper-aarch64"
|
|
depends on BR2_aarch64
|
|
depends on BR2_LINUX_KERNEL
|
|
help
|
|
The boot-wrapper-aarch64 is a small bootloader that makes it
|
|
possible to start an Aarch64 kernel inside the available
|
|
software simulators for the Aarch64 architecture.
|
|
|
|
git://git.kernel.org/pub/scm/linux/kernel/git/mark/boot-wrapper-aarch64.git
|
|
|
|
if BR2_TARGET_BOOT_WRAPPER_AARCH64
|
|
|
|
config BR2_TARGET_BOOT_WRAPPER_AARCH64_DTS
|
|
string "Device Tree Source name"
|
|
default ""
|
|
help
|
|
Name of the Device Tree Source file to use to generate the
|
|
Device Tree Blob that will be embedded in the image
|
|
generated by the boot wrapper. Valid names are the .dts
|
|
files from arch/arm64/boot/dts/ in the kernel source
|
|
tree. The name must be specified without the .dts suffix.
|
|
|
|
config BR2_TARGET_BOOT_WRAPPER_AARCH64_BOOTARGS
|
|
string "Kernel bootargs"
|
|
default ""
|
|
help
|
|
Kernel bootargs to embed inside the image generated by the
|
|
boot wrapper.
|
|
|
|
config BR2_TARGET_BOOT_WRAPPER_AARCH64_PSCI
|
|
bool "Boot secondary SMP cores using PSCI"
|
|
help
|
|
Boot secondary SMP cores using PSCI firmware calls. If
|
|
disabled, the spin-table method is used instead.
|
|
|
|
config BR2_TARGET_BOOT_WRAPPER_AARCH64_GICV3
|
|
bool "Enable GICv3 instead of GICv2"
|
|
help
|
|
Boot using GICv3 instead of GICv2.
|
|
|
|
endif
|