blob: 64bb184c2be83d4dd17c0d8d40bb4d4782006fe4 [file] [log] [blame]
Stephen Warren9316e142014-11-19 20:41:03 -07001CONFIG_ARM=y
Adam Ford1bf33012019-08-14 08:29:25 -05002CONFIG_ARCH_CPU_INIT=y
Masahiro Yamadaddf6bd42015-03-19 19:42:56 +09003CONFIG_ARCH_BCM283X=y
Tom Rini278b90c2018-02-03 12:10:38 -05004CONFIG_SYS_TEXT_BASE=0x00008000
Stephen Warren9316e142014-11-19 20:41:03 -07005CONFIG_TARGET_RPI=y
Tom Rinia09fea12019-11-18 20:02:10 -05006CONFIG_ENV_SIZE=0x4000
Tom Rini86cf1c82018-08-16 08:16:24 -04007CONFIG_NR_DRAM_BANKS=1
Tom Rinid168bcb2019-04-29 15:54:04 -04008CONFIG_DISTRO_DEFAULTS=y
Simon Glass73223f02016-02-22 22:55:43 -07009CONFIG_OF_BOARD_SETUP=y
Simon Glass37304aa2019-07-20 20:51:14 -060010CONFIG_USE_PREBOOT=y
11CONFIG_PREBOOT="usb start"
Adam Ford8ccf98b2018-07-29 13:13:29 -050012CONFIG_MISC_INIT_R=y
Lokesh Vutla19a97472016-10-08 14:41:44 -040013# CONFIG_DISPLAY_CPUINFO is not set
Lokesh Vutla84351792016-10-11 21:33:46 -040014# CONFIG_DISPLAY_BOARDINFO is not set
Bin Meng80df6912015-09-28 05:14:15 -070015CONFIG_SYS_PROMPT="U-Boot> "
Thomas Choue4aa8ed2015-11-11 21:39:33 +080016CONFIG_CMD_GPIO=y
Tom Rini88663122017-08-14 19:58:53 -040017CONFIG_CMD_MMC=y
18CONFIG_CMD_USB=y
Otavio Salvador11e10bf2018-10-23 10:35:52 -030019CONFIG_CMD_FS_UUID=y
Tom Rinidf35f452017-09-08 10:14:49 -040020CONFIG_OF_EMBED=y
Tom Rini8c5cad02018-09-03 15:26:12 -040021CONFIG_DEFAULT_DEVICE_TREE="bcm2835-rpi-b"
Tom Rini5dc4dfd2017-08-28 07:16:32 -040022CONFIG_ENV_FAT_DEVICE_AND_PART="0:1"
Tom Rini8d8ee472019-11-12 22:46:36 -050023CONFIG_SYS_RELOC_GD_ENV_ADDR=y
Alex Kiernand9101302018-04-01 16:37:53 +000024CONFIG_ENV_VARS_UBOOT_RUNTIME_CONFIG=y
Simon Glasse5ec12b2017-08-24 19:45:31 -060025CONFIG_DM_KEYBOARD=y
Simon Glasse6c6d072017-04-05 16:23:38 -060026CONFIG_DM_MMC=y
Masahiro Yamadae1ce61f2016-12-07 22:10:28 +090027CONFIG_MMC_SDHCI=y
Masahiro Yamada45a68fe2016-12-07 22:10:29 +090028CONFIG_MMC_SDHCI_BCM2835=y
Simon Glassd90385b2017-04-05 16:23:35 -060029CONFIG_DM_ETH=y
Tom Rini7c8f00e2018-02-10 20:27:45 -050030CONFIG_PINCTRL=y
31# CONFIG_PINCTRL_GENERIC is not set
Tom Rinic9542ea2018-04-07 20:27:54 -040032# CONFIG_REQUIRE_SERIAL_CONSOLE is not set
Tom Rini645176d2016-09-08 16:31:26 -040033CONFIG_USB=y
Simon Glass25085232017-04-05 16:23:34 -060034CONFIG_DM_USB=y
Philipp Tomsich4ac72f52017-07-03 18:30:06 +020035CONFIG_USB_DWC2=y
Simon Glass4ef6ece2016-10-17 20:13:01 -060036CONFIG_USB_KEYBOARD=y
Chris Packhamae358442017-08-28 20:50:45 +120037CONFIG_USB_HOST_ETHER=y
Chris Packhamf58ad982017-08-28 20:50:46 +120038CONFIG_USB_ETHER_SMSC95XX=y
Simon Glassea843b62017-04-05 16:23:44 -060039CONFIG_DM_VIDEO=y
Anatolij Gustschin8a6ffed2020-02-04 22:43:06 +010040# CONFIG_VIDEO_BPP8 is not set
41# CONFIG_VIDEO_BPP16 is not set
Simon Glass983b1032017-04-26 22:27:57 -060042CONFIG_SYS_WHITE_ON_BLACK=y
Tom Rini3337e3a2016-11-29 09:14:57 -050043CONFIG_CONSOLE_SCROLL_LINES=10
Joe Hershbergerc9bb9422015-06-22 16:15:29 -050044CONFIG_PHYS_TO_BUS=y
Peter Robinsona6e66792017-06-26 14:25:03 +010045CONFIG_OF_LIBFDT_OVERLAY=y
Heinrich Schuchardtb7cdecf2019-11-20 18:48:02 +010046CONFIG_EFI_LOADER=y