diff options
Diffstat (limited to 'configs/platform-v7a/barebox-at91.config.diff')
| -rw-r--r-- | configs/platform-v7a/barebox-at91.config.diff | 129 |
1 files changed, 129 insertions, 0 deletions
diff --git a/configs/platform-v7a/barebox-at91.config.diff b/configs/platform-v7a/barebox-at91.config.diff new file mode 100644 index 0000000..3f636d8 --- /dev/null +++ b/configs/platform-v7a/barebox-at91.config.diff @@ -0,0 +1,129 @@ +e6072dae533833bfa758a60d8e3b92b6 +CONFIG_ARCH_AT91=y +# CONFIG_ARCH_BCM283X is not set +CONFIG_ARCH_TEXT_BASE=0x23f00000 +# CONFIG_ARM_AMBA is undefined +# CONFIG_ARM_SECURE_MONITOR is undefined +# CONFIG_ARM_SMCCC is undefined +CONFIG_ARM_USE_COMPRESSED_DTB=y +CONFIG_AT91SAM9_SMC=y +CONFIG_AT91_MCI_PBL=y +CONFIG_AT91_MULTI_BOARDS=y +# CONFIG_BOARD_ARM_GENERIC_DT is not set +CONFIG_BOOTM_OFTREE_UIMAGE=y +CONFIG_CLOCKSOURCE_ATMEL_PIT=y +# CONFIG_CLOCKSOURCE_BCM283X is undefined +CONFIG_CMD_AT91CLK=y +CONFIG_CMD_AT91_BOOT_TEST=y +CONFIG_CMD_MENU_MANAGEMENT=y +# CONFIG_CMD_MMC is not set +# CONFIG_CMD_SMC is undefined +# CONFIG_CMD_USB is undefined +# CONFIG_CMD_USBGADGET is undefined +CONFIG_COMMON_CLK_AT91=y +CONFIG_COMMON_CLK_OF_PROVIDER=y +CONFIG_COMPILE_LOGLEVEL=6 +CONFIG_DEBUG_AT91_UART_BASE=0xf8020000 +CONFIG_DEFAULT_COMPRESSION_BZIP2=y +# CONFIG_DEFAULT_COMPRESSION_GZIP is undefined +# CONFIG_DEFAULT_COMPRESSION_NONE is not set +# CONFIG_DEFAULT_COMPRESSION_XZ is undefined +CONFIG_DEFAULT_LOGLEVEL=7 +CONFIG_DRIVER_NET_MACB=y +CONFIG_DRIVER_NET_MICREL=y +CONFIG_DRIVER_SERIAL_ATMEL=y +# CONFIG_DRIVER_SPI_ATMEL is not set +# CONFIG_DRIVER_SPI_FSL_QUADSPI is not set +# CONFIG_DRIVER_SPI_GPIO is not set +# CONFIG_FILE_LIST is undefined +# CONFIG_GPIO_PL061 is undefined +# CONFIG_GPIO_RASPBERRYPI_EXP is undefined +CONFIG_HAS_MACB=y +CONFIG_HAVE_AT91SAM9_RST=y +CONFIG_HAVE_AT91_AUDIO_PLL=y +CONFIG_HAVE_AT91_DDRAMC=y +CONFIG_HAVE_AT91_GENERATED_CLK=y +CONFIG_HAVE_AT91_H32MX=y +CONFIG_HAVE_AT91_I2S_MUX_CLK=y +CONFIG_HAVE_AT91_USB_CLK=y +CONFIG_HAVE_AT91_UTMI=y +CONFIG_HAVE_MACH_ARM_HEAD=y +# CONFIG_HWRNG is not set +# CONFIG_I2C_ALGOBIT is undefined +CONFIG_I2C_AT91=y +# CONFIG_I2C_GPIO is not set +# CONFIG_IMAGE_COMPRESSION_LZO is not set +CONFIG_IMAGE_COMPRESSION_NONE=y +CONFIG_IMD_TARGET=y +# CONFIG_KEYBOARD_USB is undefined +# CONFIG_LIBFDT is undefined +# CONFIG_MACH_AT91SAM9263EK is not set +# CONFIG_MACH_AT91SAM9X5EK is not set +# CONFIG_MACH_MICROCHIP_KSZ9477_EVB is not set +# CONFIG_MACH_RPI2 is undefined +# CONFIG_MACH_RPI3 is undefined +# CONFIG_MACH_RPI is undefined +# CONFIG_MACH_RPI_CM3 is undefined +# CONFIG_MACH_RPI_COMMON is undefined +CONFIG_MACH_SAMA5D27_GIANTBOARD=y +CONFIG_MACH_SAMA5D27_SOM1=y +CONFIG_MCI_ATMEL=y +CONFIG_MCI_ATMEL_SDHCI=y +CONFIG_MCI_ATMEL_SDHCI_PBL=y +# CONFIG_MCI_BCM283X is undefined +# CONFIG_MCI_BCM283X_SDHOST is undefined +# CONFIG_MCI_MMCI is undefined +CONFIG_MCI_MMC_BOOT_PARTITIONS=y +CONFIG_MCI_SDHCI=y +# CONFIG_MCI_STARTUP is not set +CONFIG_MFD_ATMEL_FLEXCOM=y +CONFIG_MFD_SYSCON=y +CONFIG_MTD_M25P80=y +CONFIG_MTD_SPI_NOR=y +# CONFIG_MTD_SPI_NOR_USE_4K_SECTORS is not set +# CONFIG_MTD_SST25L is not set +# CONFIG_NET_USB is undefined +# CONFIG_NET_USB_ASIX is undefined +# CONFIG_NET_USB_SMSC95XX is undefined +CONFIG_OF_BAREBOX_ENV_IN_FS=y +CONFIG_PBL_CONSOLE=y +CONFIG_PINCTRL_AT91PIO4=y +# CONFIG_PINCTRL_BCM283X is undefined +CONFIG_PROMPT="barebox:" +# CONFIG_REGULATOR_ANATOP is not set +# CONFIG_REGULATOR_BCM283X is undefined +CONFIG_REGULATOR_FIXED=y +# CONFIG_SERIAL_AMBA_PL011 is undefined +CONFIG_SOC_SAMA5=y +CONFIG_SOC_SAMA5D2=y +CONFIG_SPI_ATMEL_QUADSPI=y +# CONFIG_SPI_CADENCE_QUADSPI is not set +CONFIG_SPI_MEM=y +# CONFIG_THUMB2_BAREBOX is undefined +# CONFIG_USB is undefined +# CONFIG_USBGADGET_START is undefined +# CONFIG_USB_DWC2_GADGET is undefined +# CONFIG_USB_DWC2_HOST is undefined +# CONFIG_USB_DWC3 is undefined +# CONFIG_USB_EHCI is undefined +# 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_SERIAL is undefined +# CONFIG_USB_HOST is not set +# CONFIG_USB_HUB_USB251XB is undefined +# CONFIG_USB_NET_AX88179_178A is undefined +# CONFIG_USB_STORAGE is undefined +# CONFIG_USB_ULPI is undefined +# CONFIG_USB_XHCI is undefined +CONFIG_WATCHDOG_AT91SAM9=y +# CONFIG_WATCHDOG_BCM2835 is undefined +# CONFIG_XZ_DECOMPRESS is not set +# CONFIG_XZ_DEC_ARM is undefined +# CONFIG_XZ_DEC_ARMTHUMB is undefined +# CONFIG_XZ_DEC_IA64 is undefined +# CONFIG_XZ_DEC_POWERPC is undefined +# CONFIG_XZ_DEC_SPARC is undefined +# CONFIG_XZ_DEC_X86 is undefined +# CONFIG_ZLIB is not set |