menuconfig PLAT_RASPI
       bool "Raspberry Pi 3B+"
       default n
       depends on ARCH_ARM_64
       select HAVE_FDT
       select LIBUKOFW
       select HAVE_INTCTLR
       select LIBUKINTCTLR_BCM_INTC
       select LIBUKINTCTLR_BCM2836_INTC
       select LIBUKTTY_PL011
       select ARM_GENERIC_TIMER
       help
          Create a Unikraft image that runs as a Raspberry Pi 3B+

if (PLAT_RASPI)

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

config PLATRASPI_TEST
	bool "Enable unit tests"
	default n

endif