src/cpu/qemu-power8/Kconfig

##
##
## SPDX-License-Identifier: GPL-2.0-only

config CPU_QEMU_POWER8
	bool
	select ARCH_BOOTBLOCK_PPC64
	select ARCH_VERSTAGE_PPC64
	select ARCH_ROMSTAGE_PPC64
	select ARCH_RAMSTAGE_PPC64
	select NO_MONOTONIC_TIMER