config ARCH_SUPPORTS_FIRMWARE
	bool

config ARCH_SUPPORTS_TRUSTED_FOUNDATIONS
	bool
	select ARCH_SUPPORTS_FIRMWARE

menu "Firmware options"
	depends on ARCH_SUPPORTS_FIRMWARE

config TRUSTED_FOUNDATIONS
	bool "Trusted Foundations secure monitor support"
	depends on ARCH_SUPPORTS_TRUSTED_FOUNDATIONS
	help
	  Some devices (including most Tegra-based consumer devices on the
	  market) are booted with the Trusted Foundations secure monitor
	  active, requiring some core operations to be performed by the secure
	  monitor instead of the kernel.

	  This option allows the kernel to invoke the secure monitor whenever
	  required on devices using Trusted Foundations. See
	  arch/arm/include/asm/trusted_foundations.h or the
	  tl,trusted-foundations device tree binding documentation for details
	  on how to use it.

	  Say n if you don't know what this is about.

endmenu