diff options
Diffstat (limited to 'configs/platform-v7a/barebox-rpi2.config.diff')
| -rw-r--r-- | configs/platform-v7a/barebox-rpi2.config.diff | 47 |
1 files changed, 46 insertions, 1 deletions
diff --git a/configs/platform-v7a/barebox-rpi2.config.diff b/configs/platform-v7a/barebox-rpi2.config.diff index 0c24a61..f493e1d 100644 --- a/configs/platform-v7a/barebox-rpi2.config.diff +++ b/configs/platform-v7a/barebox-rpi2.config.diff @@ -1,14 +1,59 @@ 6740c59d874d4e8459025d536717c542 +CONFIG_ARM_ASM_UNIFIED=y +CONFIG_BOOTM_INITRD=y +# CONFIG_CMD_I2C is undefined +CONFIG_CMD_MIITOOL=y +# CONFIG_CMD_USBGADGET is undefined CONFIG_DRIVER_SERIAL_NS16550=y # CONFIG_EEPROM_93XX46 is not set +# CONFIG_EEPROM_AT24 is undefined +# CONFIG_FILE_LIST is undefined +# CONFIG_GPIO_PCA953X is undefined +# CONFIG_GPIO_PCF857X is undefined +CONFIG_GPIO_RASPBERRYPI_EXP=y +# CONFIG_GPIO_SX150X is undefined +# CONFIG_HWRNG is not set +# CONFIG_I2C is not set +# CONFIG_I2C_ALGOBIT is undefined +# CONFIG_I2C_DESIGNWARE is undefined +# CONFIG_I2C_GPIO is undefined +# CONFIG_I2C_MUX is undefined +# CONFIG_I2C_MV64XXX is undefined +# CONFIG_I2C_STM32 is undefined +# CONFIG_KEYBOARD_QT1070 is undefined +# CONFIG_LED_PCA955X is undefined CONFIG_MACH_RPI2=y -CONFIG_MALLOC_SIZE=0x400000 CONFIG_MCI_BCM283X=y CONFIG_MCI_BCM283X_SDHOST=y +# CONFIG_MCI_MMCI is not set CONFIG_MCI_MMC_BOOT_PARTITIONS=y +# CONFIG_MCI_STARTUP is not set +# CONFIG_MFD_ACT8846 is undefined +# CONFIG_MFD_DA9053 is undefined +# CONFIG_MFD_DA9063 is undefined +# CONFIG_MFD_LP3972 is undefined +# CONFIG_MFD_MC34704 is undefined +# CONFIG_MFD_MC9SDZ60 is undefined +# CONFIG_MFD_STMPE is undefined +# CONFIG_MFD_STPMIC1 is undefined +# CONFIG_MFD_TWL4030 is undefined +# CONFIG_MFD_TWL6030 is undefined +CONFIG_NET_NETCONSOLE=y +# CONFIG_NET_NFS is not set CONFIG_NVMEM=y # CONFIG_NVMEM_SNVS_LPGPR is not set CONFIG_PINCTRL_BCM283X=y CONFIG_PROMPT="R-Pi> " CONFIG_SERIAL_AMBA_PL011=y +CONFIG_THUMB2_BAREBOX=y +# CONFIG_USBGADGET_START is undefined +CONFIG_USB_DWC2_HOST=y +# CONFIG_USB_EHCI is not set +# CONFIG_USB_GADGET is not set +# CONFIG_USB_GADGET_AUTOSTART is undefined +# CONFIG_USB_GADGET_DFU is undefined +# CONFIG_USB_GADGET_FASTBOOT is undefined +# CONFIG_USB_GADGET_FASTBOOT_SPARSE is undefined +# CONFIG_USB_GADGET_SERIAL is undefined +# CONFIG_USB_HUB_USB251XB is undefined CONFIG_WATCHDOG_BCM2835=y |