#
# 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.

config RPI4B_SDMMC
	bool "Mount uSD as MMCSD device"
	depends on BCM2711_EMMC2
	default n
	---help---
		Mounts the uSD card as an MMCSD device.

config RPI4B_MOUNT_BOOT
	bool "Mount boot partition"
	depends on RPI4B_SDMMC
	depends on FS_FAT
	default n
	---help---
		Mounts the boot partition of the micro SD card to NuttX as a read/write
		file system.

config RPI4B_FRAMEBUFFER
	bool "Register frame buffer driver"
	depends on BCM2711_FRAMEBUFFER
	default BCM2711_FRAMEBUFFER
	---help---
		Registers a frame buffer character driver for graphical output.

endif # ARCH_BOARD_RASPBERRYPI_4B
