e96fb6b118
Includes a Mini-UART NSH console for the 4B, tested on the 4GB RAM model. Part of an I2C driver which can only read, boiler-plate for a SPI driver, and a GPIO driver with limited pins. Some tools are present for automatically fetching the boot files and creating the `config.txt` file based on selected Kconfig options.
41 lines
1 KiB
Text
41 lines
1 KiB
Text
#
|
|
# 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
|