#
# For a description of the syntax of this configuration file,
# see the file kconfig-language.txt in the NuttX tools repository.
#

if ARCH_BOARD_RASPBERRYPI_4B

choice
	prompt "Raspberry Pi 4B RAM size"
	default RPI4B_RAM_4GB

config RPI4B_RAM_1GB
	bool "1GB RAM"
	---help---
		Support for the 1GB variant of the Raspberry Pi 4B.

config RPI4B_RAM_2GB
	bool "2GB RAM"
	---help---
		Support for the 2GB variant of the Raspberry Pi 4B.

config RPI4B_RAM_4GB
	bool "4GB RAM"
	---help---
		Support for the 4GB variant of the Raspberry Pi 4B.

config RPI4B_RAM_8GB
	bool "8GB RAM"
	---help---
		Support for the 8GB variant of the Raspberry Pi 4B.

endchoice # Raspberry Pi 4B RAM size

config RPI4B_DEBUG_BOOT
	bool "Raspberry Pi 4B bootloader debug output"
	default n
	---help---
		Enables the debug output of the Raspberry Pi 4B bootloader.

endif # ARCH_BOARD_RASPBERRYPI_4B
