##
## RASPI platform registration
##
$(eval $(call addplat_s,raspi,$(CONFIG_PLAT_RASPI)))

##
## RASPI platform library registration
##
$(eval $(call addplatlib,raspi,libraspiplat))

##
## Platform library definitions
##
LIBRASPIPLAT_ASINCLUDES-y        += -I$(LIBRASPIPLAT_BASE)/include
LIBRASPIPLAT_ASINCLUDES-y        += -I$(UK_PLAT_COMMON_BASE)/include
LIBRASPIPLAT_CINCLUDES-y         += -I$(LIBRASPIPLAT_BASE)/include
LIBRASPIPLAT_CINCLUDES-y         += -I$(UK_PLAT_COMMON_BASE)/include
LIBRASPIPLAT_CINCLUDES-y         += -I$(UK_PLAT_DRIVERS_BASE)/include

LIBRASPIPLAT_ASFLAGS             += -DRASPIPLAT
LIBRASPIPLAT_CFLAGS              += -DRASPIPLAT
LIBRASPIPLAT_CXXFLAGS            += -DRASPIPLAT

LIBRASPIPLAT_ASFLAGS-y     += -DUK_USE_SECTION_SEGMENTS
LIBRASPIPLAT_CFLAGS-y      += -DUK_USE_SECTION_SEGMENTS
LIBRASPIPLAT_CXXFLAGS-y    += -DUK_USE_SECTION_SEGMENTS

##
## Default Linker script
UK_PLAT_RASPI_DEF_LDS            := $(LIBRASPIPLAT_BASE)/link.lds.S

##
## Architecture library definitions
##
ifeq ($(findstring y,$(CONFIG_RASPI_PRINTF_SERIAL_CONSOLE) $(CONFIG_RASPI_KERNEL_SERIAL_CONSOLE) $(CONFIG_RASPI_DEBUG_SERIAL_CONSOLE)),y)
## TODO: Check if both implementations are actually doing the same thing
#LIBRASPIPLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/arm/pl011.c|common
endif
LIBRASPIPLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/arm/cpu_native.c|common
LIBRASPIPLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/arm/cache64.S|common
#LIBRASPIPLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/arm/psci_arm64.S|common
LIBRASPIPLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/arm/generic_timer.c|common
#LIBRASPIPLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/arm/traps.c|common
LIBRASPIPLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_DRIVERS_BASE)/uart/pl011.c|common
LIBRASPIPLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/arm/time.c|common
LIBRASPIPLAT_SRCS-y				+= $(UK_PLAT_COMMON_BASE)/lcpu.c|common
LIBRASPIPLAT_SRCS-y				+= $(UK_PLAT_COMMON_BASE)/memory.c|common
LIBRASPIPLAT_SRCS-y				+= $(UK_PLAT_COMMON_BASE)/tls.c|common
ifeq ($(CONFIG_ENFORCE_W_XOR_X),y)
LIBRASPIPLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/w_xor_x.c|common
endif
LIBRASPIPLAT_SRCS-$(CONFIG_FPSIMD)              += $(UK_PLAT_COMMON_BASE)/arm/fp_arm64.c|isr
ifeq ($(CONFIG_PAGING),y)
LIBRASPIPLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(UK_PLAT_COMMON_BASE)/paging.c|isr
endif

LIBRASPIPLAT_SRCS-y		 += $(UK_PLAT_COMMON_BASE)/bootinfo.c|common
LIBRASPIPLAT_SRCS-$(CONFIG_LIBFDT) += $(UK_PLAT_COMMON_BASE)/bootinfo_fdt.c|common
LIBRASPIPLAT_SRCS-y		 += $(UK_PLAT_COMMON_BASE)/bootinfo.lds.S|common

LIBRASPIPLAT_SRCS-y				+= $(LIBRASPIPLAT_BASE)/start.S
LIBRASPIPLAT_SRCS-y				+= $(LIBRASPIPLAT_BASE)/raspi_info_asm.S
LIBRASPIPLAT_SRCS-y				+= $(LIBRASPIPLAT_BASE)/raspi_info.c
LIBRASPIPLAT_SRCS-y				+= $(LIBRASPIPLAT_BASE)/entry.S
LIBRASPIPLAT_SRCS-y				+= $(LIBRASPIPLAT_BASE)/mm.S
LIBRASPIPLAT_SRCS-y				+= $(LIBRASPIPLAT_BASE)/console.c
LIBRASPIPLAT_SRCS-y				+= $(LIBRASPIPLAT_BASE)/io.c
LIBRASPIPLAT_SRCS-y				+= $(LIBRASPIPLAT_BASE)/lcpu.c
LIBRASPIPLAT_SRCS-y				+= $(LIBRASPIPLAT_BASE)/mbox.c
LIBRASPIPLAT_SRCS-y				+= $(LIBRASPIPLAT_BASE)/gpio.c
LIBRASPIPLAT_SRCS-y				+= $(LIBRASPIPLAT_BASE)/memory.c
LIBRASPIPLAT_SRCS-y				+= $(LIBRASPIPLAT_BASE)/setup.c
LIBRASPIPLAT_SRCS-y				+= $(LIBRASPIPLAT_BASE)/shutdown.c
LIBRASPIPLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(LIBRASPIPLAT_BASE)/pagetable64.S|isr
LIBRASPIPLAT_SRCS-$(CONFIG_ARCH_ARM_64) += $(LIBRASPIPLAT_BASE)/raspi_bpt64.S|arm
LIBRASPIPLAT_SRCS-y				+= $(UK_PLAT_RASPI_DEF_LDS)

LIBRASPIPLAT_SRCS-$(CONFIG_ARCH_ARM_64) 	+= $(UK_PLAT_COMMON_BASE)/arm/traps_arm64.c|isr
ifneq ($(filter y,$(CONFIG_PLATRASPI_TEST) $(CONFIG_LIBUKTEST_ALL)),)
LIBRASPIPLAT_SRCS-y += $(LIBRASPIPLAT_BASE)/tests/test_paging.c
endif