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