config ARCH_ARM64
	bool
	default n

config ARCH_BOOTBLOCK_ARM64
	bool
	default n
	select ARCH_ARM64

config ARCH_VERSTAGE_ARM64
	bool
	default n

config ARCH_ROMSTAGE_ARM64
	bool
	default n

config ARCH_RAMSTAGE_ARM64
	bool
	default n

source src/arch/arm64/armv8/Kconfig
source src/arch/arm64/cpu/Kconfig

# If a custom bootblock is necessary, this option should be "select"-ed by
# the thing that needs it, probably the CPU.
config ARM64_BOOTBLOCK_CUSTOM
	bool
	default n

config ARM64_USE_SECURE_MONITOR
	bool
	default n
	select RELOCATABLE_MODULES
	depends on ARCH_RAMSTAGE_ARM64
	depends on !ARM64_USE_ARM_TRUSTED_FIRMWARE

config ARM64_USE_SPINTABLE
	bool
	default n
	depends on ARCH_RAMSTAGE_ARM64

config ARM64_USE_ARM_TRUSTED_FIRMWARE
	bool
	default n
	depends on ARCH_RAMSTAGE_ARM64

config ARM64_USE_SECURE_OS
	bool
	default n
	depends on ARM64_USE_ARM_TRUSTED_FIRMWARE

config ARM64_SECURE_OS_FILE
	string "Secure OS binary file"
	depends on ARM64_USE_SECURE_OS
	help
	  Secure OS binary file.