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
       help
          Create a Unikraft image that runs as a Raspberry Pi 3B+

if (PLAT_RASPI)

menu "Profiling"
config RASPI_WATERMARK_STACK
       bool "Watermark Stack"
       default n
       depends on ARCH_ARM_64
endmenu

config PLATRASPI_TEST
	bool "Enable unit tests"
	default n

endif