[DistroKit] [PATCH 2/2] v7a_noneon: barebox-at91: add .config.diff to revision control

[Ahmad Fatoum <a.fatoum@pengutronix.de>]

Otherwise, we will get a ptxdist error:

   'DistroKit-sama5d3/configs/platform-v7a_noneon/barebox-at91.config.diff'
   is missing, run oldconfig!

Signed-off-by: Ahmad Fatoum <a.fatoum@pengutronix.de>
---
 .../barebox-at91.config.diff                  | 195 ++++++++++++++++++
 1 file changed, 195 insertions(+)
 create mode 100644 configs/platform-v7a_noneon/barebox-at91.config.diff

diff --git a/configs/platform-v7a_noneon/barebox-at91.config.diff b/configs/platform-v7a_noneon/barebox-at91.config.diff
new file mode 100644
index 000000000000..98ea41009777
--- /dev/null
+++ b/configs/platform-v7a_noneon/barebox-at91.config.diff
@@ -0,0 +1,195 @@
+a075fef9bba4830bbb5803f301aa5334
+CONFIG_ARCH_AT91=y
+# CONFIG_ARCH_BCM283X is not set
+CONFIG_ARCH_TEXT_BASE=0x23f00000
+# CONFIG_ARM_AMBA is undefined
+# CONFIG_ARM_OPTIMZED_STRING_FUNCTIONS is not set
+# 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_BOARD_GENERIC_DT is undefined
+CONFIG_BOOTM_OFTREE_UIMAGE=y
+# CONFIG_BOOTM_VERBOSE is not set
+# CONFIG_BTHREAD is not set
+# CONFIG_BZLIB is not set
+CONFIG_CLOCKSOURCE_ATMEL_PIT=y
+# CONFIG_CLOCKSOURCE_BCM283X is undefined
+# CONFIG_CMD_ARM_MMUINFO is not set
+CONFIG_CMD_AT91CLK=y
+CONFIG_CMD_AT91_BOOT_TEST=y
+# CONFIG_CMD_BOOTZ is not set
+# CONFIG_CMD_BTHREAD is undefined
+# CONFIG_CMD_CLK is not set
+# CONFIG_CMD_I2C is undefined
+# CONFIG_CMD_IMD is not set
+# CONFIG_CMD_MEMTEST is not set
+# CONFIG_CMD_MENU is not set
+# CONFIG_CMD_MENUTREE is not set
+# CONFIG_CMD_MENU_MANAGEMENT is undefined
+# CONFIG_CMD_MMC is not set
+# CONFIG_CMD_OF_FIXUP_STATUS is not set
+# CONFIG_CMD_OF_OVERLAY is not set
+# CONFIG_CMD_PARTITION is not set
+# CONFIG_CMD_READLINE is not set
+# CONFIG_CMD_REGULATOR is not set
+# CONFIG_CMD_SHA1SUM is not set
+# CONFIG_CMD_SMC is undefined
+# CONFIG_CMD_STATE is undefined
+# CONFIG_CMD_TFTP is not set
+# CONFIG_CMD_UNCOMPRESS is not set
+# CONFIG_CMD_USB is undefined
+# CONFIG_CMD_USBGADGET is undefined
+# CONFIG_CMD_WD is undefined
+# CONFIG_CMD_WD_DEFAULT_TIMOUT is undefined
+CONFIG_COMMON_CLK_AT91=y
+CONFIG_COMPILE_LOGLEVEL=6
+# CONFIG_CONSOLE_ACTIVATE_FIRST is not set
+CONFIG_CONSOLE_ACTIVATE_NONE=y
+CONFIG_DEBUG_AT91_UART_BASE=0xffffee00
+# CONFIG_DEFAULT_COMPRESSION_BZIP2 is undefined
+# CONFIG_DEFAULT_COMPRESSION_GZIP is undefined
+# CONFIG_DEFAULT_COMPRESSION_XZ is undefined
+# CONFIG_DEFAULT_ENVIRONMENT_GENERIC_NEW_MENU is undefined
+# CONFIG_DIGEST_SHA1_GENERIC is not set
+CONFIG_DRIVER_NET_MACB=y
+CONFIG_DRIVER_NET_MICREL=y
+CONFIG_DRIVER_SERIAL_ATMEL=y
+CONFIG_DRIVER_SPI_ATMEL=y
+# CONFIG_DRIVER_SPI_FSL_QUADSPI is not set
+# CONFIG_DRIVER_SPI_GPIO is not set
+# CONFIG_EEPROM_AT24 is undefined
+# CONFIG_FIRMWARE is undefined
+# CONFIG_GPIO_PCA953X is undefined
+# CONFIG_GPIO_PCF857X is undefined
+# CONFIG_GPIO_PL061 is undefined
+# CONFIG_GPIO_RASPBERRYPI_EXP is undefined
+# CONFIG_GPIO_SX150X is undefined
+# CONFIG_GPIO_WATCHDOG is undefined
+CONFIG_HAS_MACB=y
+CONFIG_HAVE_AT91SAM9_RST=y
+CONFIG_HAVE_AT91_SMD=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 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_IMAGE_COMPRESSION_LZO is not set
+CONFIG_IMAGE_COMPRESSION_NONE=y
+CONFIG_IMD_TARGET=y
+# CONFIG_KEYBOARD_QT1070 is undefined
+# CONFIG_KEYBOARD_USB is undefined
+# CONFIG_LED_PCA955X is undefined
+# CONFIG_LIBFDT is undefined
+# CONFIG_MACHINE_ID is undefined
+# CONFIG_MACH_AT91SAM9263EK is not set
+# CONFIG_MACH_AT91SAM9X5EK is not set
+CONFIG_MACH_MICROCHIP_KSZ9477_EVB=y
+# 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 is not set
+# CONFIG_MACH_SAMA5D27_SOM1 is not set
+# CONFIG_MACH_SKOV_ARM9CPU is not set
+CONFIG_MCI_ATMEL=y
+CONFIG_MCI_ATMEL_PBL=y
+CONFIG_MCI_ATMEL_SDHCI=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_MENUTREE is undefined
+# 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_SYSCON=y
+# CONFIG_MFD_TWL4030 is undefined
+# CONFIG_MFD_TWL6030 is undefined
+CONFIG_MICREL_PHY=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_OF_OVERLAY is not set
+# CONFIG_OF_OVERLAY_LIVE is undefined
+CONFIG_PBL_CONSOLE=y
+CONFIG_PINCTRL_AT91=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_SHA1 is undefined
+CONFIG_SOC_SAMA5=y
+CONFIG_SOC_SAMA5D3=y
+CONFIG_SPI_ATMEL_QUADSPI=y
+# CONFIG_SPI_CADENCE_QUADSPI is not set
+CONFIG_SPI_MEM=y
+# CONFIG_STATE is not set
+# CONFIG_STATE_BACKWARD_COMPATIBLE is undefined
+# CONFIG_STATE_CRYPTO is undefined
+# CONFIG_STATE_DRV is undefined
+# CONFIG_SYSCON_REBOOT_MODE is not set
+# CONFIG_SYSTEMD_OF_WATCHDOG is undefined
+# 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_MASS_STORAGE 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_USE_COMPRESSED_DTB=y
+CONFIG_VIRTIO_MENU=y
+# CONFIG_VIRTIO_MMIO is not set
+CONFIG_W1=y
+# CONFIG_W1_DUAL_SEARCH is not set
+# CONFIG_W1_MASTER_GPIO is not set
+# CONFIG_W1_SLAVE_DS2431 is not set
+# CONFIG_W1_SLAVE_DS2433 is not set
+# CONFIG_WATCHDOG is not set
+# CONFIG_WATCHDOG_BCM2835 is undefined
+# CONFIG_WATCHDOG_DW is undefined
+# CONFIG_WATCHDOG_POLLER 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
-- 
2.30.2