menuconfig PLAT_D9
	bool "D9"
	default n
	depends on ARCH_ARM_64
	select HAVE_FDT
	select LIBFDT
	select LIBUKOFW
	select LIBTNTTY_NS8250
	select HAVE_INTCTLR
	select LIBUKINTCTLR_GICV2
	select ARM_GENERIC_TIMER
	help
		Create a kernel image that runs on D9

if (PLAT_D9)

config RAM_BASE_ADDR
	hex	"Starting address of kernel stored in ram"
	default 0x5B200000

config BOOT_PROTO_LXBOOT
	bool "Lxboot"
	default y
	help
		Linux 64-bit Boot Protocol

endif