##
## D9 platform registration
##
$(eval $(call addplat_s,d9,$(CONFIG_PLAT_D9)))

##
## D9 platform library registration
##
$(eval $(call addplatlib,d9,libd9plat))

##
## Platform library definitions
##
LIBD9PLAT_ASINCLUDES-y        += -I$(LIBD9PLAT_BASE)/include
LIBD9PLAT_ASINCLUDES-y        += -I$(UK_PLAT_COMMON_BASE)/include
LIBD9PLAT_CINCLUDES-y         += -I$(LIBD9PLAT_BASE)/include
LIBD9PLAT_CINCLUDES-y         += -I$(UK_PLAT_COMMON_BASE)/include
LIBD9PLAT_CINCLUDES-y         += -I$(UK_PLAT_DRIVERS_BASE)/include

LIBD9PLAT_ASFLAGS             += -DD9PLAT -DUK_USE_SECTION_SEGMENTS
LIBD9PLAT_CFLAGS              += -DD9PLAT -DUK_USE_SECTION_SEGMENTS
LIBD9PLAT_CXXFLAGS            += -DD9PLAT -DUK_USE_SECTION_SEGMENTS

##
## Default Linker script
UK_PLAT_D9_DEF_LDS            := $(UK_PLAT_COMMON_BASE)/arm/link64.lds.S

##
## Architecture library definitions
##
LIBD9PLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/arm/cpu_native.c|common
LIBD9PLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/arm/cache64.S|common
ifneq ($(CONFIG_HAVE_SYSTICK),y)
LIBD9PLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/arm/generic_timer.c|common
LIBD9PLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/arm/time.c|common
endif
LIBD9PLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/arm/lcpu.c|arm64_common
LIBD9PLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/arm/traps_arm64.c|isr
LIBD9PLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/arm/smccc.c|common
LIBD9PLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/arm/psci.c|common
LIBD9PLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/arm/smccc_invoke.S|common
LIBD9PLAT_SRCS-y				+= $(UK_PLAT_COMMON_BASE)/lcpu.c|common
LIBD9PLAT_SRCS-y				+= $(UK_PLAT_COMMON_BASE)/memory.c|common
LIBD9PLAT_SRCS-y				+= $(UK_PLAT_COMMON_BASE)/tls.c|common
ifeq ($(CONFIG_ENFORCE_W_XOR_X),y)
LIBD9PLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/w_xor_x.c|common
endif
LIBD9PLAT_SRCS-$(CONFIG_FPSIMD)              += $(UK_PLAT_COMMON_BASE)/arm/fp_arm64.c|isr
ifeq ($(CONFIG_PAGING),y)
LIBD9PLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/paging.c|isr
endif
LIBD9PLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/arm/lcpu_start.S
LIBD9PLAT_SRCS-y		 += $(UK_PLAT_COMMON_BASE)/bootinfo.c|common
LIBD9PLAT_SRCS-$(CONFIG_LIBFDT) += $(UK_PLAT_COMMON_BASE)/bootinfo_fdt.c|common
LIBD9PLAT_SRCS-y		 += $(UK_PLAT_COMMON_BASE)/bootinfo.lds.S|common
LIBD9PLAT_SRCS-y         += $(UK_PLAT_COMMON_BASE)/arm/exceptions64.S|arm64_common

LIBD9PLAT_SRCS-y				+= $(LIBD9PLAT_BASE)/start.S|isr
LIBD9PLAT_SRCS-y				+= $(LIBD9PLAT_BASE)/console.c
LIBD9PLAT_SRCS-y				+= $(LIBD9PLAT_BASE)/lcpu.c
LIBD9PLAT_SRCS-y				+= $(LIBD9PLAT_BASE)/io.c
LIBD9PLAT_SRCS-y				+= $(LIBD9PLAT_BASE)/memory.c
LIBD9PLAT_SRCS-y				+= $(LIBD9PLAT_BASE)/setup.c
LIBD9PLAT_SRCS-y				+= $(LIBD9PLAT_BASE)/shutdown.c
LIBD9PLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(LIBD9PLAT_BASE)/mmu.S|isr
LIBD9PLAT_SRCS-$(CONFIG_STATIC_PGTABLE)	+= $(LIBD9PLAT_BASE)/static_memregion.lds.S|arm
LIBD9PLAT_SRCS-$(CONFIG_ARCH_ARM_64)	+= $(LIBD9PLAT_BASE)/d9_mrds.c
LIBD9PLAT_SRCS-y				+= $(UK_PLAT_D9_DEF_LDS)