platform-v7a: remove old barebox and images

We will split up the image generation into one image per target hardware
in subsequent patches.

Signed-off-by: Sascha Hauer <s.hauer@pengutronix.de>
[improved commit message]
Signed-off-by: Robert Schwebel <r.schwebel@pengutronix.de>

10 files changed, 0 insertions, 2429 deletions

diff --git a/configs/platform-v7a/barebox-gf.config.2016.05.0 b/configs/platform-v7a/barebox-gf.config.2016.05.0
deleted file mode 100644
index a1c4447..0000000
--- a/configs/platform-v7a/barebox-gf.config.2016.05.0
+++ /dev/null
@@ -1,681 +0,0 @@
-#
-# Automatically generated file; DO NOT EDIT.
-# Barebox/arm 2016.05.0-20160610-1 Configuration
-#
-CONFIG_ARM=y
-CONFIG_ARM_LINUX=y
-CONFIG_ARM_USE_COMPRESSED_DTB=y
-
-#
-# System Type
-#
-# CONFIG_ARCH_AT91 is not set
-# CONFIG_ARCH_BCM2835 is not set
-# CONFIG_ARCH_BCM2836 is not set
-# CONFIG_ARCH_CLPS711X is not set
-# CONFIG_ARCH_DAVINCI is not set
-# CONFIG_ARCH_DIGIC is not set
-# CONFIG_ARCH_EP93XX is not set
-# CONFIG_ARCH_HIGHBANK is not set
-# CONFIG_ARCH_IMX is not set
-# CONFIG_ARCH_MVEBU is not set
-# CONFIG_ARCH_MXS is not set
-# CONFIG_ARCH_NETX is not set
-# CONFIG_ARCH_NOMADIK is not set
-CONFIG_ARCH_OMAP=y
-# CONFIG_ARCH_PXA is not set
-# CONFIG_ARCH_ROCKCHIP is not set
-# CONFIG_ARCH_SOCFPGA is not set
-# CONFIG_ARCH_S3C24xx is not set
-# CONFIG_ARCH_S5PCxx is not set
-# CONFIG_ARCH_S3C64xx is not set
-# CONFIG_ARCH_VERSATILE is not set
-# CONFIG_ARCH_VEXPRESS is not set
-# CONFIG_ARCH_TEGRA is not set
-# CONFIG_ARCH_UEMD is not set
-# CONFIG_ARCH_ZYNQ is not set
-
-#
-# Processor Type
-#
-CONFIG_CPU_32=y
-CONFIG_CPU_V7=y
-CONFIG_CPU_32v7=y
-
-#
-# processor features
-#
-# CONFIG_BOOT_ENDIANNESS_SWITCH is not set
-CONFIG_BAREBOX_MAX_IMAGE_SIZE=0xffffffff
-
-#
-# OMAP Features
-#
-CONFIG_ARCH_AM33XX=y
-CONFIG_OMAP_CLOCK_SOURCE_DMTIMER=y
-CONFIG_OMAP_GPMC=y
-# CONFIG_OMAP_BUILD_IFT is not set
-# CONFIG_OMAP_BUILD_SPI is not set
-CONFIG_BAREBOX_UPDATE_AM33XX_SPI_NOR_MLO=y
-# CONFIG_BAREBOX_UPDATE_AM33XX_NAND is not set
-# CONFIG_BAREBOX_UPDATE_AM33XX_EMMC is not set
-# CONFIG_AM33XX_NET_BOOT is not set
-CONFIG_OMAP_MULTI_BOARDS=y
-CONFIG_MACH_AFI_GF=y
-# CONFIG_MACH_BEAGLE is not set
-# CONFIG_MACH_BEAGLEBONE is not set
-# CONFIG_MACH_PHYTEC_SOM_AM335X is not set
-CONFIG_ARM_ASM_UNIFIED=y
-CONFIG_AEABI=y
-CONFIG_THUMB2_BAREBOX=y
-CONFIG_ARM_BOARD_APPEND_ATAG=y
-
-#
-# ARM specific settings
-#
-CONFIG_ARM_OPTIMZED_STRING_FUNCTIONS=y
-CONFIG_ARM_EXCEPTIONS=y
-CONFIG_ARM_UNWIND=y
-# CONFIG_ARM_SEMIHOSTING is not set
-CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"
-CONFIG_HAS_KALLSYMS=y
-CONFIG_HAS_MODULES=y
-CONFIG_ENV_HANDLING=y
-CONFIG_HAS_CACHE=y
-CONFIG_HAS_DMA=y
-CONFIG_GENERIC_GPIO=y
-CONFIG_BOOTM=y
-CONFIG_BLOCK=y
-CONFIG_BLOCK_WRITE=y
-CONFIG_FILETYPE=y
-CONFIG_BINFMT=y
-CONFIG_UIMAGE=y
-CONFIG_LOGBUF=y
-CONFIG_GLOBALVAR=y
-CONFIG_STDDEV=y
-CONFIG_BAREBOX_UPDATE=y
-CONFIG_MENUTREE=y
-CONFIG_FILE_LIST=y
-
-#
-# General Settings
-#
-CONFIG_LOCALVERSION=""
-CONFIG_LOCALVERSION_AUTO=y
-CONFIG_BANNER=y
-CONFIG_MEMINFO=y
-CONFIG_ENVIRONMENT_VARIABLES=y
-
-#
-# memory layout
-#
-CONFIG_HAVE_PBL_IMAGE=y
-CONFIG_HAVE_PBL_MULTI_IMAGES=y
-CONFIG_HAVE_IMAGE_COMPRESSION=y
-CONFIG_PBL_IMAGE=y
-CONFIG_PBL_MULTI_IMAGES=y
-CONFIG_PBL_RELOCATABLE=y
-CONFIG_IMAGE_COMPRESSION=y
-# CONFIG_IMAGE_COMPRESSION_LZ4 is not set
-CONFIG_IMAGE_COMPRESSION_LZO=y
-# CONFIG_IMAGE_COMPRESSION_GZIP is not set
-# CONFIG_IMAGE_COMPRESSION_XZKERN is not set
-# CONFIG_IMAGE_COMPRESSION_NONE is not set
-CONFIG_MMU=y
-CONFIG_MMU_EARLY=y
-CONFIG_HAVE_CONFIGURABLE_TEXT_BASE=y
-CONFIG_TEXT_BASE=0x0
-CONFIG_BAREBOX_MAX_PBL_SIZE=0xffffffff
-CONFIG_BAREBOX_MAX_BARE_INIT_SIZE=0xffffffff
-CONFIG_BAREBOX_MAX_PBLX_SIZE=0xffffffff
-CONFIG_STACK_SIZE=0x8000
-CONFIG_MALLOC_SIZE=0x0
-# CONFIG_EXPERIMENTAL is not set
-# CONFIG_MALLOC_DLMALLOC is not set
-CONFIG_MALLOC_TLSF=y
-CONFIG_KALLSYMS=y
-CONFIG_RELOCATABLE=y
-# CONFIG_PANIC_HANG is not set
-CONFIG_PROMPT="barebox> "
-CONFIG_BAUDRATE=115200
-CONFIG_CBSIZE=1024
-CONFIG_SHELL_HUSH=y
-# CONFIG_SHELL_SIMPLE is not set
-# CONFIG_SHELL_NONE is not set
-CONFIG_GLOB=y
-CONFIG_GLOB_SORT=y
-CONFIG_PROMPT_HUSH_PS2="> "
-CONFIG_HUSH_FANCY_PROMPT=y
-CONFIG_CMDLINE_EDITING=y
-CONFIG_AUTO_COMPLETE=y
-CONFIG_MENU=y
-# CONFIG_PASSWORD is not set
-CONFIG_DYNAMIC_CRC_TABLE=y
-CONFIG_ERRNO_MESSAGES=y
-# CONFIG_TIMESTAMP is not set
-CONFIG_BLSPEC=y
-# CONFIG_IMD is not set
-# CONFIG_KERNEL_INSTALL_TARGET is not set
-CONFIG_CONSOLE_FULL=y
-# CONFIG_CONSOLE_SIMPLE is not set
-# CONFIG_CONSOLE_NONE is not set
-# CONFIG_CONSOLE_ACTIVATE_FIRST is not set
-# CONFIG_CONSOLE_ACTIVATE_ALL is not set
-CONFIG_CONSOLE_ACTIVATE_NONE=y
-# CONFIG_PBL_CONSOLE is not set
-# CONFIG_CONSOLE_RATP is not set
-CONFIG_PARTITION=y
-CONFIG_PARTITION_DISK=y
-CONFIG_PARTITION_DISK_DOS=y
-# CONFIG_PARTITION_DISK_EFI is not set
-CONFIG_DEFAULT_ENVIRONMENT=y
-# CONFIG_DEFAULT_COMPRESSION_LZO is not set
-CONFIG_DEFAULT_COMPRESSION_NONE=y
-CONFIG_HAVE_DEFAULT_ENVIRONMENT_NEW=y
-CONFIG_DEFAULT_ENVIRONMENT_GENERIC_NEW=y
-CONFIG_DEFAULT_ENVIRONMENT_GENERIC_NEW_MENU=y
-CONFIG_DEFAULT_ENVIRONMENT_PATH=" .ptxdist-defaultenv .ptxdist-defaultenv .ptxdist-defaultenv"
-# CONFIG_BAREBOXENV_TARGET is not set
-# CONFIG_BAREBOXCRC32_TARGET is not set
-CONFIG_POLLER=y
-CONFIG_STATE=y
-# CONFIG_STATE_CRYPTO is not set
-CONFIG_BOOTSTATE=y
-# CONFIG_RESET_SOURCE is not set
-
-#
-# Debugging
-#
-CONFIG_COMPILE_LOGLEVEL=6
-CONFIG_DEFAULT_LOGLEVEL=7
-CONFIG_DEBUG_INFO=y
-# CONFIG_DEBUG_LL is not set
-CONFIG_DEBUG_OMAP_UART_PORT=1
-# CONFIG_DEBUG_INITCALLS is not set
-CONFIG_HAS_DEBUG_LL=y
-CONFIG_COMMAND_SUPPORT=y
-# CONFIG_HAS_POWEROFF is not set
-CONFIG_COMPILE_HASH=y
-CONFIG_COMPILE_MEMORY=y
-
-#
-# Commands
-#
-
-#
-# Information
-#
-CONFIG_CMD_ARM_CPUINFO=y
-CONFIG_CMD_DEVINFO=y
-CONFIG_CMD_DMESG=y
-CONFIG_CMD_DRVINFO=y
-CONFIG_CMD_HELP=y
-CONFIG_LONGHELP=y
-CONFIG_CMD_IOMEM=y
-# CONFIG_CMD_IMD is not set
-CONFIG_CMD_MEMINFO=y
-CONFIG_CMD_ARM_MMUINFO=y
-CONFIG_CMD_VERSION=y
-# CONFIG_CMD_MMC_EXTCSD is not set
-
-#
-# Boot
-#
-CONFIG_FLEXIBLE_BOOTARGS=y
-CONFIG_CMD_BOOT=y
-CONFIG_CMD_BOOTM=y
-CONFIG_CMD_BOOTM_SHOW_TYPE=y
-CONFIG_CMD_BOOTM_VERBOSE=y
-CONFIG_CMD_BOOTM_INITRD=y
-CONFIG_CMD_BOOTM_OFTREE=y
-# CONFIG_CMD_BOOTM_OFTREE_UIMAGE is not set
-# CONFIG_CMD_BOOTM_AIMAGE is not set
-# CONFIG_CMD_BOOTM_FITIMAGE is not set
-# CONFIG_CMD_BOOTU is not set
-CONFIG_CMD_BOOTZ=y
-CONFIG_CMD_GO=y
-CONFIG_CMD_LOADB=y
-# CONFIG_CMD_LOADS is not set
-# CONFIG_CMD_LOADY is not set
-CONFIG_CMD_RESET=y
-CONFIG_CMD_UIMAGE=y
-
-#
-# Partition
-#
-CONFIG_CMD_PARTITION=y
-CONFIG_CMD_AUTOMOUNT=y
-CONFIG_CMD_MOUNT=y
-CONFIG_CMD_UBI=y
-CONFIG_CMD_UBIFORMAT=y
-CONFIG_CMD_UMOUNT=y
-
-#
-# Environment
-#
-CONFIG_CMD_NV=y
-CONFIG_CMD_EXPORT=y
-# CONFIG_CMD_DEFAULTENV is not set
-CONFIG_CMD_GLOBAL=y
-CONFIG_CMD_LOADENV=y
-CONFIG_CMD_PRINTENV=y
-CONFIG_CMD_MAGICVAR=y
-CONFIG_CMD_MAGICVAR_HELP=y
-CONFIG_CMD_SAVEENV=y
-
-#
-# File
-#
-CONFIG_CMD_BASENAME=y
-CONFIG_CMD_CAT=y
-CONFIG_CMD_CD=y
-CONFIG_CMD_CP=y
-# CONFIG_CMD_CMP is not set
-CONFIG_CMD_DIGEST=y
-CONFIG_CMD_DIRNAME=y
-CONFIG_CMD_FILETYPE=y
-CONFIG_CMD_LN=y
-CONFIG_CMD_LS=y
-CONFIG_CMD_MD5SUM=y
-CONFIG_CMD_MKDIR=y
-CONFIG_CMD_PWD=y
-CONFIG_CMD_READLINK=y
-CONFIG_CMD_RM=y
-CONFIG_CMD_RMDIR=y
-# CONFIG_CMD_SHA1SUM is not set
-# CONFIG_CMD_SHA224SUM is not set
-# CONFIG_CMD_SHA256SUM is not set
-# CONFIG_CMD_SHA384SUM is not set
-# CONFIG_CMD_SHA512SUM is not set
-CONFIG_CMD_UNCOMPRESS=y
-
-#
-# Shell scripting
-#
-CONFIG_CMD_FALSE=y
-CONFIG_CMD_GETOPT=y
-CONFIG_CMD_LET=y
-CONFIG_CMD_MSLEEP=y
-CONFIG_CMD_READF=y
-CONFIG_CMD_SLEEP=y
-CONFIG_CMD_TEST=y
-CONFIG_CMD_TRUE=y
-
-#
-# Network
-#
-CONFIG_CMD_DHCP=y
-# CONFIG_CMD_HOST is not set
-CONFIG_NET_CMD_IFUP=y
-CONFIG_CMD_MIITOOL=y
-CONFIG_CMD_PING=y
-CONFIG_CMD_TFTP=y
-
-#
-# Console and Framebuffer interaction
-#
-CONFIG_CMD_CLEAR=y
-CONFIG_CMD_ECHO=y
-CONFIG_CMD_ECHO_E=y
-CONFIG_CMD_EDIT=y
-# CONFIG_CMD_LOGIN is not set
-CONFIG_CMD_MENU=y
-# CONFIG_CMD_MENU_MANAGEMENT is not set
-CONFIG_CMD_MENUTREE=y
-CONFIG_CMD_READLINE=y
-CONFIG_CMD_TIMEOUT=y
-
-#
-# Memory
-#
-CONFIG_CMD_CRC=y
-CONFIG_CMD_CRC_CMP=y
-CONFIG_CMD_MD=y
-CONFIG_CMD_MEMCMP=y
-CONFIG_CMD_MEMCPY=y
-CONFIG_CMD_MEMSET=y
-# CONFIG_CMD_MEMTEST is not set
-CONFIG_CMD_MM=y
-CONFIG_CMD_MW=y
-
-#
-# Hardware manipulation
-#
-CONFIG_CMD_DETECT=y
-CONFIG_CMD_FLASH=y
-CONFIG_CMD_GPIO=y
-CONFIG_CMD_I2C=y
-CONFIG_CMD_LED=y
-CONFIG_CMD_NAND=y
-# CONFIG_CMD_NANDTEST is not set
-# CONFIG_CMD_NAND_BITFLIP is not set
-CONFIG_CMD_SPI=y
-CONFIG_CMD_LED_TRIGGER=y
-CONFIG_CMD_USBGADGET=y
-
-#
-# Miscellaneous
-#
-# CONFIG_CMD_2048 is not set
-CONFIG_CMD_BAREBOX_UPDATE=y
-# CONFIG_CMD_FIRMWARELOAD is not set
-CONFIG_CMD_OF_DUMP=y
-CONFIG_CMD_OF_NODE=y
-CONFIG_CMD_OF_PROPERTY=y
-# CONFIG_CMD_OF_DISPLAY_TIMINGS is not set
-# CONFIG_CMD_OF_FIXUP_STATUS is not set
-CONFIG_CMD_OFTREE=y
-CONFIG_CMD_TIME=y
-CONFIG_CMD_STATE=y
-# CONFIG_CMD_DHRYSTONE is not set
-# CONFIG_CMD_SPD_DECODE is not set
-CONFIG_CMD_BOOTCHOOSER=y
-CONFIG_NET=y
-CONFIG_NET_NFS=y
-CONFIG_NET_NETCONSOLE=y
-CONFIG_NET_RESOLV=y
-CONFIG_NET_IFUP=y
-CONFIG_NET_DHCP=y
-# CONFIG_NET_SNTP is not set
-
-#
-# Drivers
-#
-CONFIG_OFTREE=y
-CONFIG_OFTREE_MEM_GENERIC=y
-CONFIG_DTC=y
-CONFIG_OFDEVICE=y
-CONFIG_OF_NET=y
-CONFIG_OF_GPIO=y
-CONFIG_OF_BAREBOX_DRIVERS=y
-# CONFIG_OF_BAREBOX_ENV_IN_FS is not set
-
-#
-# serial drivers
-#
-# CONFIG_DRIVER_SERIAL_ARM_DCC is not set
-CONFIG_DRIVER_SERIAL_NS16550=y
-CONFIG_DRIVER_SERIAL_NS16550_OMAP_EXTENSIONS=y
-# CONFIG_DRIVER_SERIAL_CADENCE is not set
-CONFIG_PHYLIB=y
-
-#
-# Network drivers
-#
-# CONFIG_DRIVER_NET_ARC_EMAC is not set
-# CONFIG_DRIVER_NET_CALXEDA_XGMAC is not set
-CONFIG_DRIVER_NET_CPSW=y
-# CONFIG_DRIVER_NET_DESIGNWARE is not set
-# CONFIG_DRIVER_NET_ENC28J60 is not set
-# CONFIG_DRIVER_NET_KS8851_MLL is not set
-# CONFIG_DRIVER_NET_MICREL is not set
-# CONFIG_DRIVER_NET_SMC911X is not set
-# CONFIG_DRIVER_NET_SMC91111 is not set
-
-#
-# phylib
-#
-
-#
-# MII PHY device drivers
-#
-# CONFIG_AT803X_PHY is not set
-# CONFIG_LXT_PHY is not set
-# CONFIG_MARVELL_PHY is not set
-# CONFIG_MICREL_PHY is not set
-# CONFIG_NATIONAL_PHY is not set
-# CONFIG_SMSC_PHY is not set
-
-#
-# MII bus device drivers
-#
-# CONFIG_MDIO_BITBANG is not set
-
-#
-# SPI drivers
-#
-CONFIG_SPI=y
-# CONFIG_DRIVER_SPI_GPIO is not set
-CONFIG_DRIVER_SPI_OMAP3=y
-CONFIG_I2C=y
-
-#
-# I2C Hardware Bus support
-#
-# CONFIG_I2C_GPIO is not set
-# CONFIG_I2C_DESIGNWARE is not set
-CONFIG_I2C_OMAP=y
-# CONFIG_I2C_MUX is not set
-CONFIG_MTD=y
-CONFIG_MTD_WRITE=y
-CONFIG_MTD_OOB_DEVICE=y
-# CONFIG_MTD_RAW_DEVICE is not set
-# CONFIG_MTD_CONCAT is not set
-
-#
-# MTD debug options
-#
-# CONFIG_MTD_PEB_DEBUG is not set
-
-#
-# Self contained MTD devices
-#
-# CONFIG_MTD_DATAFLASH is not set
-CONFIG_MTD_M25P80=y
-# CONFIG_MTD_SST25L is not set
-# CONFIG_MTD_DOCG3 is not set
-# CONFIG_MTD_MTDRAM is not set
-# CONFIG_DRIVER_CFI is not set
-CONFIG_NAND=y
-CONFIG_NAND_ECC_SOFT=y
-# CONFIG_NAND_ECC_BCH is not set
-CONFIG_NAND_ECC_HW=y
-# CONFIG_NAND_ECC_HW_OOB_FIRST is not set
-CONFIG_NAND_ECC_HW_SYNDROME=y
-CONFIG_NAND_ECC_HW_NONE=y
-CONFIG_NAND_INFO=y
-CONFIG_NAND_READ_OOB=y
-CONFIG_NAND_BBT=y
-# CONFIG_NAND_ALLOW_ERASE_BAD is not set
-CONFIG_NAND_OMAP_GPMC=y
-# CONFIG_MTD_NAND_ECC_SMC is not set
-CONFIG_MTD_NAND_IDS=y
-# CONFIG_MTD_NAND_DENALI is not set
-CONFIG_MTD_SPI_NOR=y
-# CONFIG_SPI_CADENCE_QUADSPI is not set
-CONFIG_MTD_UBI=y
-CONFIG_MTD_UBI_WL_THRESHOLD=4096
-CONFIG_MTD_UBI_BEB_LIMIT=20
-# CONFIG_MTD_UBI_FASTMAP is not set
-
-#
-# UBI debugging options
-#
-# CONFIG_MTD_UBI_CHECK_IO is not set
-# CONFIG_MTD_UBI_GENERAL_EXTRA_CHECKS is not set
-CONFIG_DISK=y
-CONFIG_DISK_WRITE=y
-
-#
-# drive types
-#
-# CONFIG_DISK_ATA is not set
-# CONFIG_DISK_AHCI is not set
-
-#
-# interface types
-#
-# CONFIG_DISK_INTF_PLATFORM_IDE is not set
-CONFIG_USB=y
-# CONFIG_USB_HOST is not set
-CONFIG_USB_GADGET=y
-
-#
-# USB Gadget drivers
-#
-# CONFIG_USB_GADGET_DFU is not set
-CONFIG_USB_GADGET_SERIAL=y
-CONFIG_USB_GADGET_FASTBOOT=y
-CONFIG_USB_MUSB=y
-CONFIG_USB_MUSB_DSPS=y
-CONFIG_USB_MUSB_AM335X=y
-CONFIG_USB_MUSB_GADGET=y
-# CONFIG_VIDEO is not set
-CONFIG_MCI=y
-
-#
-# --- Feature list ---
-#
-CONFIG_MCI_STARTUP=y
-CONFIG_MCI_INFO=y
-CONFIG_MCI_WRITE=y
-# CONFIG_MCI_MMC_BOOT_PARTITIONS is not set
-
-#
-# --- MCI host drivers ---
-#
-# CONFIG_MCI_DW is not set
-CONFIG_MCI_OMAP_HSMMC=y
-# CONFIG_MCI_SPI is not set
-CONFIG_CLOCKSOURCE_DUMMY_RATE=1000
-
-#
-# MFD
-#
-# CONFIG_MFD_ACT8846 is not set
-# CONFIG_MFD_DA9053 is not set
-# CONFIG_MFD_DA9063 is not set
-# CONFIG_MFD_LP3972 is not set
-# CONFIG_MFD_MC13XXX is not set
-# CONFIG_MFD_MC34704 is not set
-# CONFIG_MFD_MC9SDZ60 is not set
-# CONFIG_MFD_STMPE is not set
-# CONFIG_MFD_SYSCON is not set
-# CONFIG_MFD_TWL4030 is not set
-# CONFIG_MFD_TWL6030 is not set
-
-#
-# Misc devices
-#
-# CONFIG_JTAG is not set
-# CONFIG_SRAM is not set
-CONFIG_STATE_DRV=y
-CONFIG_BOOTSTATE_DRV=y
-CONFIG_LED=y
-CONFIG_LED_GPIO=y
-CONFIG_LED_GPIO_OF=y
-# CONFIG_LED_GPIO_RGB is not set
-# CONFIG_LED_GPIO_BICOLOR is not set
-CONFIG_LED_TRIGGERS=y
-
-#
-# EEPROM support
-#
-# CONFIG_EEPROM_AT25 is not set
-CONFIG_EEPROM_AT24=y
-
-#
-# Input device support
-#
-# CONFIG_KEYBOARD_GPIO is not set
-# CONFIG_KEYBOARD_QT1070 is not set
-# CONFIG_WATCHDOG is not set
-# CONFIG_PWM is not set
-
-#
-# DMA support
-#
-CONFIG_GPIOLIB=y
-
-#
-# GPIO
-#
-CONFIG_GPIO_GENERIC=y
-# CONFIG_GPIO_74164 is not set
-CONFIG_GPIO_GENERIC_PLATFORM=y
-# CONFIG_GPIO_IMX is not set
-# CONFIG_GPIO_MXS is not set
-CONFIG_GPIO_OMAP=y
-# CONFIG_GPIO_PCA953X is not set
-# CONFIG_GPIO_DESIGNWARE is not set
-# CONFIG_W1 is not set
-CONFIG_PINCTRL=y
-CONFIG_PINCTRL_SINGLE=y
-
-#
-# Bus devices
-#
-CONFIG_BUS_OMAP_GPMC=y
-# CONFIG_REGULATOR is not set
-# CONFIG_RESET_CONTROLLER is not set
-# CONFIG_RTC_CLASS is not set
-
-#
-# Firmware Drivers
-#
-# CONFIG_FIRMWARE_ALTERA_SERIAL is not set
-
-#
-# PHY Subsystem
-#
-# CONFIG_GENERIC_PHY is not set
-# CONFIG_CRYPTO_HW is not set
-
-#
-# Filesystem support
-#
-CONFIG_FS=y
-CONFIG_FS_AUTOMOUNT=y
-# CONFIG_FS_CRAMFS is not set
-CONFIG_FS_EXT4=y
-CONFIG_FS_RAMFS=y
-CONFIG_FS_DEVFS=y
-CONFIG_FS_TFTP=y
-CONFIG_FS_NFS=y
-CONFIG_FS_FAT=y
-CONFIG_FS_FAT_WRITE=y
-CONFIG_FS_FAT_LFN=y
-# CONFIG_FS_UBIFS is not set
-# CONFIG_FS_BPKFS is not set
-# CONFIG_FS_UIMAGEFS is not set
-# CONFIG_FS_PSTORE is not set
-# CONFIG_FS_SQUASHFS is not set
-
-#
-# Library routines
-#
-CONFIG_PARAMETER=y
-CONFIG_UNCOMPRESS=y
-# CONFIG_ZLIB is not set
-# CONFIG_BZLIB is not set
-# CONFIG_LZ4_DECOMPRESS is not set
-# CONFIG_XZ_DECOMPRESS is not set
-# CONFIG_GENERIC_FIND_NEXT_BIT is not set
-CONFIG_PROCESS_ESCAPE_SEQUENCE=y
-CONFIG_LZO_DECOMPRESS=y
-CONFIG_QSORT=y
-CONFIG_LIBSCAN=y
-CONFIG_LIBUBIGEN=y
-
-#
-# Library gui routines
-#
-# CONFIG_BAREBOX_LOGO is not set
-
-#
-# Crypto support
-#
-CONFIG_CRC32=y
-CONFIG_CRC16=y
-CONFIG_DIGEST=y
-CONFIG_MD5=y
-CONFIG_DIGEST_MD5_GENERIC=y
-# CONFIG_DIGEST_SHA1_GENERIC is not set
-# CONFIG_DIGEST_SHA224_GENERIC is not set
-# CONFIG_DIGEST_SHA256_GENERIC is not set
-# CONFIG_DIGEST_SHA384_GENERIC is not set
-# CONFIG_DIGEST_SHA512_GENERIC is not set
-# CONFIG_DIGEST_HMAC_GENERIC is not set
-# CONFIG_DIGEST_SHA1_ARM is not set
-# CONFIG_DIGEST_SHA256_ARM is not set
-# CONFIG_CRYPTO_KEYSTORE is not set
diff --git a/configs/platform-v7a/barebox-rpi2.config.2016.05.0 b/configs/platform-v7a/barebox-rpi2.config.2016.05.0
deleted file mode 100644
index b780f85..0000000
--- a/configs/platform-v7a/barebox-rpi2.config.2016.05.0
+++ /dev/null
@@ -1,523 +0,0 @@
-#
-# Automatically generated file; DO NOT EDIT.
-# Barebox/arm 2016.05.0 Configuration
-#
-CONFIG_ARM=y
-CONFIG_ARM_LINUX=y
-CONFIG_ARCH_BCM283X=y
-
-#
-# System Type
-#
-CONFIG_BUILTIN_DTB=y
-CONFIG_BUILTIN_DTB_NAME="bcm2836-rpi-2-b"
-# CONFIG_ARCH_AT91 is not set
-# CONFIG_ARCH_BCM2835 is not set
-CONFIG_ARCH_BCM2836=y
-# CONFIG_ARCH_CLPS711X is not set
-# CONFIG_ARCH_DAVINCI is not set
-# CONFIG_ARCH_DIGIC is not set
-# CONFIG_ARCH_EP93XX is not set
-# CONFIG_ARCH_HIGHBANK is not set
-# CONFIG_ARCH_IMX is not set
-# CONFIG_ARCH_MVEBU is not set
-# CONFIG_ARCH_MXS is not set
-# CONFIG_ARCH_NETX is not set
-# CONFIG_ARCH_NOMADIK is not set
-# CONFIG_ARCH_OMAP is not set
-# CONFIG_ARCH_PXA is not set
-# CONFIG_ARCH_ROCKCHIP is not set
-# CONFIG_ARCH_SOCFPGA is not set
-# CONFIG_ARCH_S3C24xx is not set
-# CONFIG_ARCH_S5PCxx is not set
-# CONFIG_ARCH_S3C64xx is not set
-# CONFIG_ARCH_VERSATILE is not set
-# CONFIG_ARCH_VEXPRESS is not set
-# CONFIG_ARCH_TEGRA is not set
-# CONFIG_ARCH_UEMD is not set
-# CONFIG_ARCH_ZYNQ is not set
-
-#
-# Processor Type
-#
-CONFIG_CPU_32=y
-CONFIG_CPU_V7=y
-CONFIG_CPU_32v7=y
-
-#
-# processor features
-#
-# CONFIG_BOOT_ENDIANNESS_SWITCH is not set
-CONFIG_ARCH_TEXT_BASE=0x04000000
-CONFIG_MACH_RPI_COMMON=y
-CONFIG_MACH_RPI2=y
-CONFIG_BAREBOX_MAX_IMAGE_SIZE=0xffffffff
-CONFIG_AEABI=y
-# CONFIG_THUMB2_BAREBOX is not set
-# CONFIG_ARM_BOARD_APPEND_ATAG is not set
-
-#
-# ARM specific settings
-#
-CONFIG_ARM_OPTIMZED_STRING_FUNCTIONS=y
-CONFIG_ARM_EXCEPTIONS=y
-CONFIG_ARM_UNWIND=y
-# CONFIG_ARM_SEMIHOSTING is not set
-CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"
-CONFIG_GREGORIAN_CALENDER=y
-CONFIG_HAS_KALLSYMS=y
-CONFIG_HAS_MODULES=y
-CONFIG_ENV_HANDLING=y
-CONFIG_HAS_CACHE=y
-CONFIG_HAS_DMA=y
-CONFIG_GENERIC_GPIO=y
-CONFIG_BOOTM=y
-CONFIG_BLOCK=y
-CONFIG_BLOCK_WRITE=y
-CONFIG_FILETYPE=y
-CONFIG_BINFMT=y
-CONFIG_UIMAGE=y
-CONFIG_GLOBALVAR=y
-CONFIG_STDDEV=y
-CONFIG_MENUTREE=y
-
-#
-# General Settings
-#
-CONFIG_LOCALVERSION=""
-CONFIG_LOCALVERSION_AUTO=y
-CONFIG_BANNER=y
-CONFIG_MEMINFO=y
-CONFIG_ENVIRONMENT_VARIABLES=y
-
-#
-# memory layout
-#
-CONFIG_HAVE_PBL_IMAGE=y
-CONFIG_HAVE_IMAGE_COMPRESSION=y
-# CONFIG_PBL_IMAGE is not set
-CONFIG_MMU=y
-CONFIG_MMU_EARLY=y
-CONFIG_HAVE_CONFIGURABLE_TEXT_BASE=y
-CONFIG_TEXT_BASE=0x04000000
-CONFIG_BAREBOX_MAX_BARE_INIT_SIZE=0xffffffff
-CONFIG_STACK_SIZE=0x8000
-CONFIG_MALLOC_SIZE=0x400000
-# CONFIG_EXPERIMENTAL is not set
-# CONFIG_MALLOC_DLMALLOC is not set
-CONFIG_MALLOC_TLSF=y
-CONFIG_KALLSYMS=y
-# CONFIG_RELOCATABLE is not set
-# CONFIG_PANIC_HANG is not set
-CONFIG_PROMPT="R-Pi> "
-CONFIG_BAUDRATE=115200
-CONFIG_CBSIZE=1024
-CONFIG_SHELL_HUSH=y
-# CONFIG_SHELL_SIMPLE is not set
-# CONFIG_SHELL_NONE is not set
-CONFIG_GLOB=y
-CONFIG_GLOB_SORT=y
-CONFIG_PROMPT_HUSH_PS2="> "
-CONFIG_HUSH_FANCY_PROMPT=y
-CONFIG_CMDLINE_EDITING=y
-CONFIG_AUTO_COMPLETE=y
-CONFIG_MENU=y
-CONFIG_PASSWORD=y
-CONFIG_PASSWORD_DEFAULT=""
-CONFIG_PASSWD_SUM_MD5=y
-# CONFIG_PASSWD_SUM_SHA1 is not set
-# CONFIG_PASSWD_SUM_SHA256 is not set
-# CONFIG_PASSWD_SUM_SHA512 is not set
-# CONFIG_PASSWD_CRYPTO_PBKDF2 is not set
-CONFIG_DYNAMIC_CRC_TABLE=y
-CONFIG_ERRNO_MESSAGES=y
-CONFIG_TIMESTAMP=y
-CONFIG_BLSPEC=y
-# CONFIG_IMD is not set
-# CONFIG_KERNEL_INSTALL_TARGET is not set
-CONFIG_CONSOLE_FULL=y
-# CONFIG_CONSOLE_SIMPLE is not set
-# CONFIG_CONSOLE_NONE is not set
-CONFIG_CONSOLE_ACTIVATE_FIRST=y
-# CONFIG_CONSOLE_ACTIVATE_ALL is not set
-# CONFIG_CONSOLE_ACTIVATE_NONE is not set
-# CONFIG_CONSOLE_RATP is not set
-CONFIG_PARTITION=y
-CONFIG_PARTITION_DISK=y
-CONFIG_PARTITION_DISK_DOS=y
-# CONFIG_PARTITION_DISK_EFI is not set
-CONFIG_DEFAULT_ENVIRONMENT=y
-CONFIG_DEFAULT_COMPRESSION_NONE=y
-CONFIG_DEFAULT_ENVIRONMENT_GENERIC_NEW=y
-CONFIG_DEFAULT_ENVIRONMENT_GENERIC_NEW_MENU=y
-# CONFIG_DEFAULT_ENVIRONMENT_GENERIC is not set
-CONFIG_DEFAULT_ENVIRONMENT_PATH="arch/arm/boards/raspberry-pi/env ${PTXDIST_PLATFORMCONFIGDIR}/barebox-defaultenv"
-CONFIG_BAREBOXENV_TARGET=y
-# CONFIG_BAREBOXCRC32_TARGET is not set
-CONFIG_POLLER=y
-# CONFIG_RESET_SOURCE is not set
-
-#
-# Debugging
-#
-CONFIG_COMPILE_LOGLEVEL=6
-CONFIG_DEFAULT_LOGLEVEL=7
-# CONFIG_DEBUG_INFO is not set
-# CONFIG_DEBUG_LL is not set
-# CONFIG_DEBUG_INITCALLS is not set
-CONFIG_HAS_DEBUG_LL=y
-CONFIG_COMMAND_SUPPORT=y
-# CONFIG_HAS_POWEROFF is not set
-CONFIG_COMPILE_HASH=y
-CONFIG_COMPILE_MEMORY=y
-
-#
-# Commands
-#
-
-#
-# Information
-#
-CONFIG_CMD_ARM_CPUINFO=y
-CONFIG_CMD_DEVINFO=y
-# CONFIG_CMD_DMESG is not set
-CONFIG_CMD_DRVINFO=y
-CONFIG_CMD_HELP=y
-CONFIG_LONGHELP=y
-CONFIG_CMD_IOMEM=y
-# CONFIG_CMD_IMD is not set
-CONFIG_CMD_MEMINFO=y
-# CONFIG_CMD_ARM_MMUINFO is not set
-# CONFIG_CMD_REGULATOR is not set
-CONFIG_CMD_VERSION=y
-# CONFIG_CMD_MMC_EXTCSD is not set
-
-#
-# Boot
-#
-CONFIG_FLEXIBLE_BOOTARGS=y
-CONFIG_CMD_BOOT=y
-CONFIG_CMD_BOOTM=y
-CONFIG_CMD_BOOTM_SHOW_TYPE=y
-CONFIG_CMD_BOOTM_VERBOSE=y
-CONFIG_CMD_BOOTM_INITRD=y
-CONFIG_CMD_BOOTM_OFTREE=y
-# CONFIG_CMD_BOOTM_OFTREE_UIMAGE is not set
-# CONFIG_CMD_BOOTM_AIMAGE is not set
-# CONFIG_CMD_BOOTM_FITIMAGE is not set
-CONFIG_CMD_BOOTU=y
-# CONFIG_CMD_BOOTZ is not set
-CONFIG_CMD_GO=y
-CONFIG_CMD_LOADB=y
-# CONFIG_CMD_LOADS is not set
-CONFIG_CMD_LOADY=y
-CONFIG_CMD_RESET=y
-CONFIG_CMD_UIMAGE=y
-
-#
-# Partition
-#
-CONFIG_CMD_PARTITION=y
-CONFIG_CMD_AUTOMOUNT=y
-CONFIG_CMD_MOUNT=y
-CONFIG_CMD_UMOUNT=y
-
-#
-# Environment
-#
-CONFIG_CMD_NV=y
-CONFIG_CMD_EXPORT=y
-CONFIG_CMD_DEFAULTENV=y
-CONFIG_CMD_GLOBAL=y
-# CONFIG_CMD_LOADENV is not set
-CONFIG_CMD_PRINTENV=y
-CONFIG_CMD_MAGICVAR=y
-CONFIG_CMD_MAGICVAR_HELP=y
-CONFIG_CMD_SAVEENV=y
-
-#
-# File
-#
-CONFIG_CMD_BASENAME=y
-CONFIG_CMD_CAT=y
-CONFIG_CMD_CD=y
-CONFIG_CMD_CP=y
-# CONFIG_CMD_CMP is not set
-CONFIG_CMD_DIGEST=y
-CONFIG_CMD_DIRNAME=y
-CONFIG_CMD_FILETYPE=y
-CONFIG_CMD_LN=y
-CONFIG_CMD_LS=y
-CONFIG_CMD_MD5SUM=y
-CONFIG_CMD_MKDIR=y
-CONFIG_CMD_PWD=y
-CONFIG_CMD_READLINK=y
-CONFIG_CMD_RM=y
-CONFIG_CMD_RMDIR=y
-# CONFIG_CMD_SHA1SUM is not set
-# CONFIG_CMD_SHA224SUM is not set
-# CONFIG_CMD_SHA256SUM is not set
-# CONFIG_CMD_SHA384SUM is not set
-# CONFIG_CMD_SHA512SUM is not set
-CONFIG_CMD_UNCOMPRESS=y
-
-#
-# Shell scripting
-#
-CONFIG_CMD_FALSE=y
-CONFIG_CMD_GETOPT=y
-CONFIG_CMD_LET=y
-CONFIG_CMD_MSLEEP=y
-# CONFIG_CMD_READF is not set
-CONFIG_CMD_SLEEP=y
-CONFIG_CMD_TEST=y
-CONFIG_CMD_TRUE=y
-
-#
-# Console and Framebuffer interaction
-#
-CONFIG_CMD_CLEAR=y
-CONFIG_CMD_ECHO=y
-CONFIG_CMD_ECHO_E=y
-CONFIG_CMD_EDIT=y
-CONFIG_CMD_LOGIN=y
-CONFIG_CMD_MENU=y
-CONFIG_CMD_MENU_MANAGEMENT=y
-CONFIG_CMD_MENUTREE=y
-CONFIG_CMD_PASSWD=y
-CONFIG_PASSWD_MODE_HIDE=y
-# CONFIG_PASSWD_MODE_STAR is not set
-# CONFIG_PASSWD_MODE_CLEAR is not set
-CONFIG_CMD_READLINE=y
-CONFIG_CMD_TIMEOUT=y
-
-#
-# Memory
-#
-CONFIG_CMD_CRC=y
-CONFIG_CMD_CRC_CMP=y
-CONFIG_CMD_MD=y
-CONFIG_CMD_MEMCMP=y
-CONFIG_CMD_MEMCPY=y
-CONFIG_CMD_MEMSET=y
-# CONFIG_CMD_MEMTEST is not set
-CONFIG_CMD_MM=y
-CONFIG_CMD_MW=y
-
-#
-# Hardware manipulation
-#
-CONFIG_CMD_CLK=y
-CONFIG_CMD_DETECT=y
-# CONFIG_CMD_FLASH is not set
-CONFIG_CMD_GPIO=y
-# CONFIG_CMD_LED is not set
-# CONFIG_CMD_SPI is not set
-# CONFIG_CMD_LED_TRIGGER is not set
-
-#
-# Miscellaneous
-#
-# CONFIG_CMD_2048 is not set
-# CONFIG_CMD_BAREBOX_UPDATE is not set
-# CONFIG_CMD_FIRMWARELOAD is not set
-CONFIG_CMD_OF_DUMP=y
-CONFIG_CMD_OF_NODE=y
-CONFIG_CMD_OF_PROPERTY=y
-# CONFIG_CMD_OF_DISPLAY_TIMINGS is not set
-# CONFIG_CMD_OF_FIXUP_STATUS is not set
-CONFIG_CMD_OFTREE=y
-CONFIG_CMD_TIME=y
-# CONFIG_CMD_DHRYSTONE is not set
-# CONFIG_CMD_SPD_DECODE is not set
-# CONFIG_NET is not set
-
-#
-# Drivers
-#
-CONFIG_OFTREE=y
-CONFIG_OFTREE_MEM_GENERIC=y
-CONFIG_DTC=y
-CONFIG_OFDEVICE=y
-CONFIG_OF_GPIO=y
-# CONFIG_OF_BAREBOX_DRIVERS is not set
-CONFIG_ARM_AMBA=y
-
-#
-# serial drivers
-#
-# CONFIG_DRIVER_SERIAL_ARM_DCC is not set
-CONFIG_SERIAL_AMBA_PL011=y
-# CONFIG_DRIVER_SERIAL_NS16550 is not set
-# CONFIG_DRIVER_SERIAL_CADENCE is not set
-
-#
-# SPI drivers
-#
-CONFIG_SPI=y
-# CONFIG_DRIVER_SPI_GPIO is not set
-# CONFIG_I2C is not set
-# CONFIG_MTD is not set
-CONFIG_DISK=y
-CONFIG_DISK_WRITE=y
-
-#
-# drive types
-#
-# CONFIG_DISK_ATA is not set
-# CONFIG_DISK_AHCI is not set
-
-#
-# interface types
-#
-# CONFIG_DISK_INTF_PLATFORM_IDE is not set
-# CONFIG_USB_HOST is not set
-# CONFIG_USB_GADGET is not set
-# CONFIG_USB_MUSB is not set
-# CONFIG_VIDEO is not set
-CONFIG_MCI=y
-
-#
-# --- Feature list ---
-#
-CONFIG_MCI_STARTUP=y
-CONFIG_MCI_INFO=y
-CONFIG_MCI_WRITE=y
-CONFIG_MCI_MMC_BOOT_PARTITIONS=y
-
-#
-# --- MCI host drivers ---
-#
-# CONFIG_MCI_DW is not set
-CONFIG_MCI_BCM283X=y
-# CONFIG_MCI_MMCI is not set
-# CONFIG_MCI_SPI is not set
-CONFIG_HAVE_CLK=y
-CONFIG_CLKDEV_LOOKUP=y
-CONFIG_COMMON_CLK=y
-CONFIG_CLOCKSOURCE_BCM283X=y
-CONFIG_CLOCKSOURCE_DUMMY_RATE=1000
-
-#
-# MFD
-#
-# CONFIG_MFD_MC13XXX is not set
-# CONFIG_MFD_SYSCON is not set
-
-#
-# Misc devices
-#
-# CONFIG_JTAG is not set
-# CONFIG_SRAM is not set
-CONFIG_LED=y
-CONFIG_LED_GPIO=y
-# CONFIG_LED_GPIO_OF is not set
-# CONFIG_LED_GPIO_RGB is not set
-# CONFIG_LED_GPIO_BICOLOR is not set
-CONFIG_LED_TRIGGERS=y
-
-#
-# EEPROM support
-#
-# CONFIG_EEPROM_AT25 is not set
-
-#
-# Input device support
-#
-# CONFIG_KEYBOARD_GPIO is not set
-# CONFIG_WATCHDOG is not set
-# CONFIG_PWM is not set
-
-#
-# DMA support
-#
-CONFIG_GPIOLIB=y
-
-#
-# GPIO
-#
-# CONFIG_GPIO_74164 is not set
-CONFIG_GPIO_BCM283X=y
-# CONFIG_GPIO_GENERIC_PLATFORM is not set
-# CONFIG_GPIO_IMX is not set
-# CONFIG_GPIO_MXS is not set
-# CONFIG_GPIO_OMAP is not set
-# CONFIG_GPIO_PL061 is not set
-# CONFIG_GPIO_DESIGNWARE is not set
-# CONFIG_W1 is not set
-# CONFIG_PINCTRL is not set
-
-#
-# Bus devices
-#
-CONFIG_REGULATOR=y
-# CONFIG_REGULATOR_FIXED is not set
-CONFIG_REGULATOR_BCM283X=y
-# CONFIG_RESET_CONTROLLER is not set
-# CONFIG_RTC_CLASS is not set
-
-#
-# Firmware Drivers
-#
-# CONFIG_FIRMWARE_ALTERA_SERIAL is not set
-
-#
-# PHY Subsystem
-#
-# CONFIG_GENERIC_PHY is not set
-# CONFIG_CRYPTO_HW is not set
-
-#
-# Filesystem support
-#
-CONFIG_FS=y
-CONFIG_FS_AUTOMOUNT=y
-# CONFIG_FS_CRAMFS is not set
-CONFIG_FS_EXT4=y
-CONFIG_FS_RAMFS=y
-CONFIG_FS_DEVFS=y
-CONFIG_FS_FAT=y
-CONFIG_FS_FAT_WRITE=y
-CONFIG_FS_FAT_LFN=y
-# CONFIG_FS_BPKFS is not set
-# CONFIG_FS_UIMAGEFS is not set
-# CONFIG_FS_PSTORE is not set
-# CONFIG_FS_SQUASHFS is not set
-
-#
-# Library routines
-#
-CONFIG_PARAMETER=y
-CONFIG_UNCOMPRESS=y
-# CONFIG_ZLIB is not set
-# CONFIG_BZLIB is not set
-# CONFIG_LZ4_DECOMPRESS is not set
-# CONFIG_XZ_DECOMPRESS is not set
-# CONFIG_GENERIC_FIND_NEXT_BIT is not set
-CONFIG_PROCESS_ESCAPE_SEQUENCE=y
-# CONFIG_LZO_DECOMPRESS is not set
-CONFIG_QSORT=y
-CONFIG_XYMODEM=y
-
-#
-# Library gui routines
-#
-# CONFIG_BAREBOX_LOGO is not set
-
-#
-# Crypto support
-#
-CONFIG_CRC32=y
-CONFIG_CRC16=y
-CONFIG_DIGEST=y
-CONFIG_MD5=y
-CONFIG_DIGEST_MD5_GENERIC=y
-# CONFIG_DIGEST_SHA1_GENERIC is not set
-# CONFIG_DIGEST_SHA224_GENERIC is not set
-# CONFIG_DIGEST_SHA256_GENERIC is not set
-# CONFIG_DIGEST_SHA384_GENERIC is not set
-# CONFIG_DIGEST_SHA512_GENERIC is not set
-# CONFIG_DIGEST_HMAC_GENERIC is not set
-# CONFIG_DIGEST_SHA1_ARM is not set
-# CONFIG_DIGEST_SHA256_ARM is not set
-# CONFIG_CRYPTO_KEYSTORE is not set
diff --git a/configs/platform-v7a/barebox.config b/configs/platform-v7a/barebox.config
deleted file mode 100644
index bd4d153..0000000
--- a/configs/platform-v7a/barebox.config
+++ /dev/null
@@ -1,691 +0,0 @@
-#
-# Automatically generated file; DO NOT EDIT.
-# Barebox/arm 2016.05.0 Configuration
-#
-CONFIG_ARM=y
-CONFIG_ARM_LINUX=y
-CONFIG_ARM_USE_COMPRESSED_DTB=y
-
-#
-# System Type
-#
-# CONFIG_ARCH_AT91 is not set
-# CONFIG_ARCH_BCM2835 is not set
-# CONFIG_ARCH_BCM2836 is not set
-# CONFIG_ARCH_CLPS711X is not set
-# CONFIG_ARCH_DAVINCI is not set
-# CONFIG_ARCH_DIGIC is not set
-# CONFIG_ARCH_EP93XX is not set
-# CONFIG_ARCH_HIGHBANK is not set
-# CONFIG_ARCH_IMX is not set
-# CONFIG_ARCH_MVEBU is not set
-# CONFIG_ARCH_MXS is not set
-# CONFIG_ARCH_NETX is not set
-# CONFIG_ARCH_NOMADIK is not set
-CONFIG_ARCH_OMAP=y
-# CONFIG_ARCH_PXA is not set
-# CONFIG_ARCH_ROCKCHIP is not set
-# CONFIG_ARCH_SOCFPGA is not set
-# CONFIG_ARCH_S3C24xx is not set
-# CONFIG_ARCH_S5PCxx is not set
-# CONFIG_ARCH_S3C64xx is not set
-# CONFIG_ARCH_VERSATILE is not set
-# CONFIG_ARCH_VEXPRESS is not set
-# CONFIG_ARCH_TEGRA is not set
-# CONFIG_ARCH_UEMD is not set
-# CONFIG_ARCH_ZYNQ is not set
-
-#
-# Processor Type
-#
-CONFIG_CPU_32=y
-CONFIG_CPU_V7=y
-CONFIG_CPU_32v7=y
-
-#
-# processor features
-#
-# CONFIG_BOOT_ENDIANNESS_SWITCH is not set
-CONFIG_BAREBOX_MAX_IMAGE_SIZE=0xffffffff
-
-#
-# OMAP Features
-#
-CONFIG_ARCH_AM33XX=y
-CONFIG_OMAP_CLOCK_SOURCE_DMTIMER=y
-CONFIG_OMAP_GPMC=y
-# CONFIG_OMAP_BUILD_IFT is not set
-# CONFIG_OMAP_BUILD_SPI is not set
-CONFIG_BAREBOX_UPDATE_AM33XX_SPI_NOR_MLO=y
-CONFIG_BAREBOX_UPDATE_AM33XX_NAND=y
-CONFIG_BAREBOX_UPDATE_AM33XX_EMMC=y
-CONFIG_AM33XX_NET_BOOT=y
-CONFIG_OMAP_MULTI_BOARDS=y
-CONFIG_MACH_AFI_GF=y
-# CONFIG_MACH_BEAGLE is not set
-CONFIG_MACH_BEAGLEBONE=y
-CONFIG_MACH_PHYTEC_SOM_AM335X=y
-CONFIG_ARM_ASM_UNIFIED=y
-CONFIG_AEABI=y
-CONFIG_THUMB2_BAREBOX=y
-CONFIG_ARM_BOARD_APPEND_ATAG=y
-
-#
-# ARM specific settings
-#
-CONFIG_ARM_OPTIMZED_STRING_FUNCTIONS=y
-CONFIG_ARM_EXCEPTIONS=y
-CONFIG_ARM_UNWIND=y
-# CONFIG_ARM_SEMIHOSTING is not set
-CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"
-CONFIG_HAS_KALLSYMS=y
-CONFIG_HAS_MODULES=y
-CONFIG_ENV_HANDLING=y
-CONFIG_HAS_CACHE=y
-CONFIG_HAS_DMA=y
-CONFIG_GENERIC_GPIO=y
-CONFIG_BOOTM=y
-CONFIG_BLOCK=y
-CONFIG_BLOCK_WRITE=y
-CONFIG_FILETYPE=y
-CONFIG_BINFMT=y
-CONFIG_UIMAGE=y
-CONFIG_GLOBALVAR=y
-CONFIG_STDDEV=y
-CONFIG_BAREBOX_UPDATE=y
-CONFIG_MENUTREE=y
-CONFIG_FILE_LIST=y
-
-#
-# General Settings
-#
-CONFIG_LOCALVERSION=""
-CONFIG_LOCALVERSION_AUTO=y
-CONFIG_BANNER=y
-CONFIG_MEMINFO=y
-CONFIG_ENVIRONMENT_VARIABLES=y
-
-#
-# memory layout
-#
-CONFIG_HAVE_PBL_IMAGE=y
-CONFIG_HAVE_PBL_MULTI_IMAGES=y
-CONFIG_HAVE_IMAGE_COMPRESSION=y
-CONFIG_PBL_IMAGE=y
-CONFIG_PBL_MULTI_IMAGES=y
-CONFIG_PBL_RELOCATABLE=y
-CONFIG_IMAGE_COMPRESSION=y
-# CONFIG_IMAGE_COMPRESSION_LZ4 is not set
-CONFIG_IMAGE_COMPRESSION_LZO=y
-# CONFIG_IMAGE_COMPRESSION_GZIP is not set
-# CONFIG_IMAGE_COMPRESSION_XZKERN is not set
-# CONFIG_IMAGE_COMPRESSION_NONE is not set
-CONFIG_MMU=y
-CONFIG_MMU_EARLY=y
-CONFIG_HAVE_CONFIGURABLE_TEXT_BASE=y
-CONFIG_TEXT_BASE=0x0
-CONFIG_BAREBOX_MAX_PBL_SIZE=0xffffffff
-CONFIG_BAREBOX_MAX_BARE_INIT_SIZE=0xffffffff
-CONFIG_BAREBOX_MAX_PBLX_SIZE=0xffffffff
-CONFIG_STACK_SIZE=0x8000
-CONFIG_MALLOC_SIZE=0x0
-# CONFIG_EXPERIMENTAL is not set
-# CONFIG_MALLOC_DLMALLOC is not set
-CONFIG_MALLOC_TLSF=y
-CONFIG_KALLSYMS=y
-CONFIG_RELOCATABLE=y
-# CONFIG_PANIC_HANG is not set
-CONFIG_PROMPT="barebox> "
-CONFIG_BAUDRATE=115200
-CONFIG_CBSIZE=1024
-CONFIG_SHELL_HUSH=y
-# CONFIG_SHELL_SIMPLE is not set
-# CONFIG_SHELL_NONE is not set
-CONFIG_GLOB=y
-CONFIG_GLOB_SORT=y
-CONFIG_PROMPT_HUSH_PS2="> "
-CONFIG_HUSH_FANCY_PROMPT=y
-CONFIG_CMDLINE_EDITING=y
-CONFIG_AUTO_COMPLETE=y
-CONFIG_MENU=y
-# CONFIG_PASSWORD is not set
-CONFIG_DYNAMIC_CRC_TABLE=y
-CONFIG_ERRNO_MESSAGES=y
-# CONFIG_TIMESTAMP is not set
-CONFIG_BLSPEC=y
-# CONFIG_IMD is not set
-# CONFIG_KERNEL_INSTALL_TARGET is not set
-CONFIG_CONSOLE_FULL=y
-# CONFIG_CONSOLE_SIMPLE is not set
-# CONFIG_CONSOLE_NONE is not set
-# CONFIG_CONSOLE_ACTIVATE_FIRST is not set
-# CONFIG_CONSOLE_ACTIVATE_ALL is not set
-CONFIG_CONSOLE_ACTIVATE_NONE=y
-# CONFIG_PBL_CONSOLE is not set
-# CONFIG_CONSOLE_RATP is not set
-CONFIG_PARTITION=y
-CONFIG_PARTITION_DISK=y
-CONFIG_PARTITION_DISK_DOS=y
-# CONFIG_PARTITION_DISK_EFI is not set
-CONFIG_DEFAULT_ENVIRONMENT=y
-CONFIG_DEFAULT_COMPRESSION_LZO=y
-# CONFIG_DEFAULT_COMPRESSION_NONE is not set
-CONFIG_HAVE_DEFAULT_ENVIRONMENT_NEW=y
-CONFIG_DEFAULT_ENVIRONMENT_GENERIC_NEW=y
-CONFIG_DEFAULT_ENVIRONMENT_GENERIC_NEW_MENU=y
-CONFIG_DEFAULT_ENVIRONMENT_GENERIC_NEW_DFU=y
-CONFIG_DEFAULT_ENVIRONMENT_PATH="arch/arm/boards/beaglebone/defaultenv-beaglebone"
-CONFIG_BAREBOXENV_TARGET=y
-# CONFIG_BAREBOXCRC32_TARGET is not set
-CONFIG_POLLER=y
-CONFIG_STATE=y
-# CONFIG_STATE_CRYPTO is not set
-CONFIG_BOOTSTATE=y
-CONFIG_RESET_SOURCE=y
-
-#
-# Debugging
-#
-CONFIG_COMPILE_LOGLEVEL=6
-CONFIG_DEFAULT_LOGLEVEL=7
-CONFIG_DEBUG_INFO=y
-# CONFIG_DEBUG_LL is not set
-CONFIG_DEBUG_OMAP_UART_PORT=1
-# CONFIG_DEBUG_INITCALLS is not set
-CONFIG_HAS_DEBUG_LL=y
-CONFIG_COMMAND_SUPPORT=y
-# CONFIG_HAS_POWEROFF is not set
-CONFIG_COMPILE_HASH=y
-CONFIG_COMPILE_MEMORY=y
-
-#
-# Commands
-#
-
-#
-# Information
-#
-CONFIG_CMD_ARM_CPUINFO=y
-CONFIG_CMD_DEVINFO=y
-# CONFIG_CMD_DMESG is not set
-CONFIG_CMD_DRVINFO=y
-CONFIG_CMD_HELP=y
-CONFIG_LONGHELP=y
-CONFIG_CMD_IOMEM=y
-# CONFIG_CMD_IMD is not set
-CONFIG_CMD_MEMINFO=y
-CONFIG_CMD_ARM_MMUINFO=y
-CONFIG_CMD_VERSION=y
-# CONFIG_CMD_MMC_EXTCSD is not set
-
-#
-# Boot
-#
-CONFIG_FLEXIBLE_BOOTARGS=y
-CONFIG_CMD_BOOT=y
-CONFIG_CMD_BOOTM=y
-CONFIG_CMD_BOOTM_SHOW_TYPE=y
-CONFIG_CMD_BOOTM_VERBOSE=y
-CONFIG_CMD_BOOTM_INITRD=y
-CONFIG_CMD_BOOTM_OFTREE=y
-# CONFIG_CMD_BOOTM_OFTREE_UIMAGE is not set
-# CONFIG_CMD_BOOTM_AIMAGE is not set
-# CONFIG_CMD_BOOTM_FITIMAGE is not set
-# CONFIG_CMD_BOOTU is not set
-CONFIG_CMD_BOOTZ=y
-CONFIG_CMD_GO=y
-CONFIG_CMD_LOADB=y
-# CONFIG_CMD_LOADS is not set
-# CONFIG_CMD_LOADY is not set
-CONFIG_CMD_RESET=y
-CONFIG_CMD_UIMAGE=y
-
-#
-# Partition
-#
-CONFIG_CMD_PARTITION=y
-CONFIG_CMD_AUTOMOUNT=y
-CONFIG_CMD_MOUNT=y
-CONFIG_CMD_UBI=y
-CONFIG_CMD_UBIFORMAT=y
-CONFIG_CMD_UMOUNT=y
-
-#
-# Environment
-#
-CONFIG_CMD_NV=y
-CONFIG_CMD_EXPORT=y
-# CONFIG_CMD_DEFAULTENV is not set
-CONFIG_CMD_GLOBAL=y
-CONFIG_CMD_LOADENV=y
-CONFIG_CMD_PRINTENV=y
-CONFIG_CMD_MAGICVAR=y
-CONFIG_CMD_MAGICVAR_HELP=y
-CONFIG_CMD_SAVEENV=y
-
-#
-# File
-#
-CONFIG_CMD_BASENAME=y
-CONFIG_CMD_CAT=y
-CONFIG_CMD_CD=y
-CONFIG_CMD_CP=y
-# CONFIG_CMD_CMP is not set
-CONFIG_CMD_DIGEST=y
-CONFIG_CMD_DIRNAME=y
-CONFIG_CMD_FILETYPE=y
-CONFIG_CMD_LN=y
-CONFIG_CMD_LS=y
-CONFIG_CMD_MD5SUM=y
-CONFIG_CMD_MKDIR=y
-CONFIG_CMD_PWD=y
-CONFIG_CMD_READLINK=y
-CONFIG_CMD_RM=y
-CONFIG_CMD_RMDIR=y
-# CONFIG_CMD_SHA1SUM is not set
-# CONFIG_CMD_SHA224SUM is not set
-# CONFIG_CMD_SHA256SUM is not set
-# CONFIG_CMD_SHA384SUM is not set
-# CONFIG_CMD_SHA512SUM is not set
-CONFIG_CMD_UNCOMPRESS=y
-
-#
-# Shell scripting
-#
-CONFIG_CMD_FALSE=y
-CONFIG_CMD_GETOPT=y
-CONFIG_CMD_LET=y
-CONFIG_CMD_MSLEEP=y
-CONFIG_CMD_READF=y
-CONFIG_CMD_SLEEP=y
-CONFIG_CMD_TEST=y
-CONFIG_CMD_TRUE=y
-
-#
-# Network
-#
-CONFIG_CMD_DHCP=y
-# CONFIG_CMD_HOST is not set
-CONFIG_NET_CMD_IFUP=y
-CONFIG_CMD_MIITOOL=y
-CONFIG_CMD_PING=y
-CONFIG_CMD_TFTP=y
-
-#
-# Console and Framebuffer interaction
-#
-CONFIG_CMD_CLEAR=y
-CONFIG_CMD_ECHO=y
-CONFIG_CMD_ECHO_E=y
-CONFIG_CMD_EDIT=y
-# CONFIG_CMD_LOGIN is not set
-CONFIG_CMD_MENU=y
-# CONFIG_CMD_MENU_MANAGEMENT is not set
-CONFIG_CMD_MENUTREE=y
-CONFIG_CMD_READLINE=y
-CONFIG_CMD_TIMEOUT=y
-
-#
-# Memory
-#
-CONFIG_CMD_CRC=y
-CONFIG_CMD_CRC_CMP=y
-CONFIG_CMD_MD=y
-CONFIG_CMD_MEMCMP=y
-CONFIG_CMD_MEMCPY=y
-CONFIG_CMD_MEMSET=y
-# CONFIG_CMD_MEMTEST is not set
-CONFIG_CMD_MM=y
-CONFIG_CMD_MW=y
-
-#
-# Hardware manipulation
-#
-CONFIG_CMD_DETECT=y
-CONFIG_CMD_FLASH=y
-CONFIG_CMD_GPIO=y
-CONFIG_CMD_I2C=y
-CONFIG_CMD_LED=y
-CONFIG_CMD_NAND=y
-# CONFIG_CMD_NANDTEST is not set
-# CONFIG_CMD_NAND_BITFLIP is not set
-CONFIG_CMD_SPI=y
-CONFIG_CMD_LED_TRIGGER=y
-CONFIG_CMD_USB=y
-CONFIG_CMD_USBGADGET=y
-
-#
-# Miscellaneous
-#
-# CONFIG_CMD_2048 is not set
-CONFIG_CMD_BAREBOX_UPDATE=y
-# CONFIG_CMD_FIRMWARELOAD is not set
-CONFIG_CMD_OF_DUMP=y
-CONFIG_CMD_OF_NODE=y
-CONFIG_CMD_OF_PROPERTY=y
-CONFIG_CMD_OF_DISPLAY_TIMINGS=y
-CONFIG_CMD_OF_FIXUP_STATUS=y
-CONFIG_CMD_OFTREE=y
-CONFIG_CMD_TIME=y
-# CONFIG_CMD_STATE is not set
-# CONFIG_CMD_DHRYSTONE is not set
-# CONFIG_CMD_SPD_DECODE is not set
-CONFIG_CMD_BOOTCHOOSER=y
-CONFIG_NET=y
-CONFIG_NET_NFS=y
-CONFIG_NET_NETCONSOLE=y
-CONFIG_NET_RESOLV=y
-CONFIG_NET_IFUP=y
-CONFIG_NET_DHCP=y
-# CONFIG_NET_SNTP is not set
-
-#
-# Drivers
-#
-CONFIG_OFTREE=y
-CONFIG_OFTREE_MEM_GENERIC=y
-CONFIG_DTC=y
-CONFIG_OFDEVICE=y
-CONFIG_OF_NET=y
-CONFIG_OF_GPIO=y
-CONFIG_OF_BAREBOX_DRIVERS=y
-# CONFIG_OF_BAREBOX_ENV_IN_FS is not set
-
-#
-# serial drivers
-#
-# CONFIG_DRIVER_SERIAL_ARM_DCC is not set
-CONFIG_DRIVER_SERIAL_NS16550=y
-CONFIG_DRIVER_SERIAL_NS16550_OMAP_EXTENSIONS=y
-# CONFIG_DRIVER_SERIAL_CADENCE is not set
-CONFIG_PHYLIB=y
-
-#
-# Network drivers
-#
-# CONFIG_DRIVER_NET_ARC_EMAC is not set
-# CONFIG_DRIVER_NET_CALXEDA_XGMAC is not set
-CONFIG_DRIVER_NET_CPSW=y
-# CONFIG_DRIVER_NET_DESIGNWARE is not set
-# CONFIG_DRIVER_NET_ENC28J60 is not set
-# CONFIG_DRIVER_NET_KS8851_MLL is not set
-# CONFIG_DRIVER_NET_MICREL is not set
-# CONFIG_DRIVER_NET_SMC911X is not set
-# CONFIG_DRIVER_NET_SMC91111 is not set
-
-#
-# phylib
-#
-
-#
-# MII PHY device drivers
-#
-# CONFIG_AT803X_PHY is not set
-# CONFIG_LXT_PHY is not set
-# CONFIG_MARVELL_PHY is not set
-CONFIG_MICREL_PHY=y
-# CONFIG_NATIONAL_PHY is not set
-# CONFIG_SMSC_PHY is not set
-
-#
-# MII bus device drivers
-#
-# CONFIG_MDIO_BITBANG is not set
-CONFIG_NET_USB=y
-CONFIG_NET_USB_ASIX=y
-CONFIG_NET_USB_SMSC95XX=y
-
-#
-# SPI drivers
-#
-CONFIG_SPI=y
-# CONFIG_DRIVER_SPI_GPIO is not set
-CONFIG_DRIVER_SPI_OMAP3=y
-CONFIG_I2C=y
-
-#
-# I2C Hardware Bus support
-#
-# CONFIG_I2C_GPIO is not set
-# CONFIG_I2C_DESIGNWARE is not set
-CONFIG_I2C_OMAP=y
-# CONFIG_I2C_MUX is not set
-CONFIG_MTD=y
-CONFIG_MTD_WRITE=y
-CONFIG_MTD_OOB_DEVICE=y
-# CONFIG_MTD_RAW_DEVICE is not set
-# CONFIG_MTD_CONCAT is not set
-
-#
-# MTD debug options
-#
-# CONFIG_MTD_PEB_DEBUG is not set
-
-#
-# Self contained MTD devices
-#
-# CONFIG_MTD_DATAFLASH is not set
-CONFIG_MTD_M25P80=y
-# CONFIG_MTD_SST25L is not set
-# CONFIG_MTD_DOCG3 is not set
-# CONFIG_MTD_MTDRAM is not set
-# CONFIG_DRIVER_CFI is not set
-CONFIG_NAND=y
-CONFIG_NAND_ECC_SOFT=y
-# CONFIG_NAND_ECC_BCH is not set
-CONFIG_NAND_ECC_HW=y
-# CONFIG_NAND_ECC_HW_OOB_FIRST is not set
-CONFIG_NAND_ECC_HW_SYNDROME=y
-CONFIG_NAND_ECC_HW_NONE=y
-CONFIG_NAND_INFO=y
-CONFIG_NAND_READ_OOB=y
-CONFIG_NAND_BBT=y
-# CONFIG_NAND_ALLOW_ERASE_BAD is not set
-CONFIG_NAND_OMAP_GPMC=y
-# CONFIG_MTD_NAND_ECC_SMC is not set
-CONFIG_MTD_NAND_IDS=y
-# CONFIG_MTD_NAND_DENALI is not set
-CONFIG_MTD_SPI_NOR=y
-# CONFIG_SPI_CADENCE_QUADSPI is not set
-CONFIG_MTD_UBI=y
-CONFIG_MTD_UBI_WL_THRESHOLD=4096
-CONFIG_MTD_UBI_BEB_LIMIT=20
-# CONFIG_MTD_UBI_FASTMAP is not set
-
-#
-# UBI debugging options
-#
-# CONFIG_MTD_UBI_CHECK_IO is not set
-# CONFIG_MTD_UBI_GENERAL_EXTRA_CHECKS is not set
-CONFIG_DISK=y
-CONFIG_DISK_WRITE=y
-
-#
-# drive types
-#
-# CONFIG_DISK_ATA is not set
-# CONFIG_DISK_AHCI is not set
-
-#
-# interface types
-#
-# CONFIG_DISK_INTF_PLATFORM_IDE is not set
-CONFIG_USB=y
-CONFIG_USB_HOST=y
-# CONFIG_USB_EHCI is not set
-# CONFIG_USB_XHCI is not set
-# CONFIG_USB_ULPI is not set
-CONFIG_USB_STORAGE=y
-CONFIG_USB_GADGET=y
-
-#
-# USB Gadget drivers
-#
-CONFIG_USB_GADGET_DFU=y
-CONFIG_USB_GADGET_SERIAL=y
-CONFIG_USB_GADGET_FASTBOOT=y
-CONFIG_USB_MUSB=y
-CONFIG_USB_MUSB_DSPS=y
-CONFIG_USB_MUSB_AM335X=y
-CONFIG_USB_MUSB_HOST=y
-CONFIG_USB_MUSB_GADGET=y
-# CONFIG_VIDEO is not set
-CONFIG_MCI=y
-
-#
-# --- Feature list ---
-#
-CONFIG_MCI_STARTUP=y
-CONFIG_MCI_INFO=y
-CONFIG_MCI_WRITE=y
-# CONFIG_MCI_MMC_BOOT_PARTITIONS is not set
-
-#
-# --- MCI host drivers ---
-#
-# CONFIG_MCI_DW is not set
-CONFIG_MCI_OMAP_HSMMC=y
-# CONFIG_MCI_SPI is not set
-CONFIG_CLOCKSOURCE_DUMMY_RATE=1000
-
-#
-# MFD
-#
-# CONFIG_MFD_ACT8846 is not set
-# CONFIG_MFD_DA9053 is not set
-# CONFIG_MFD_DA9063 is not set
-# CONFIG_MFD_LP3972 is not set
-# CONFIG_MFD_MC13XXX is not set
-# CONFIG_MFD_MC34704 is not set
-# CONFIG_MFD_MC9SDZ60 is not set
-# CONFIG_MFD_STMPE is not set
-# CONFIG_MFD_SYSCON is not set
-# CONFIG_MFD_TWL4030 is not set
-# CONFIG_MFD_TWL6030 is not set
-
-#
-# Misc devices
-#
-# CONFIG_JTAG is not set
-# CONFIG_SRAM is not set
-# CONFIG_STATE_DRV is not set
-CONFIG_BOOTSTATE_DRV=y
-CONFIG_LED=y
-CONFIG_LED_GPIO=y
-CONFIG_LED_GPIO_OF=y
-# CONFIG_LED_GPIO_RGB is not set
-# CONFIG_LED_GPIO_BICOLOR is not set
-CONFIG_LED_TRIGGERS=y
-
-#
-# EEPROM support
-#
-# CONFIG_EEPROM_AT25 is not set
-CONFIG_EEPROM_AT24=y
-
-#
-# Input device support
-#
-# CONFIG_KEYBOARD_GPIO is not set
-# CONFIG_KEYBOARD_QT1070 is not set
-# CONFIG_KEYBOARD_USB is not set
-# CONFIG_WATCHDOG is not set
-# CONFIG_PWM is not set
-
-#
-# DMA support
-#
-CONFIG_GPIOLIB=y
-
-#
-# GPIO
-#
-CONFIG_GPIO_GENERIC=y
-# CONFIG_GPIO_74164 is not set
-CONFIG_GPIO_GENERIC_PLATFORM=y
-# CONFIG_GPIO_IMX is not set
-# CONFIG_GPIO_MXS is not set
-CONFIG_GPIO_OMAP=y
-# CONFIG_GPIO_PCA953X is not set
-# CONFIG_GPIO_DESIGNWARE is not set
-# CONFIG_W1 is not set
-CONFIG_PINCTRL=y
-CONFIG_PINCTRL_SINGLE=y
-
-#
-# Bus devices
-#
-CONFIG_BUS_OMAP_GPMC=y
-# CONFIG_REGULATOR is not set
-# CONFIG_RESET_CONTROLLER is not set
-# CONFIG_RTC_CLASS is not set
-
-#
-# Firmware Drivers
-#
-# CONFIG_FIRMWARE_ALTERA_SERIAL is not set
-
-#
-# PHY Subsystem
-#
-CONFIG_GENERIC_PHY=y
-# CONFIG_CRYPTO_HW is not set
-
-#
-# Filesystem support
-#
-CONFIG_FS=y
-CONFIG_FS_AUTOMOUNT=y
-# CONFIG_FS_CRAMFS is not set
-CONFIG_FS_EXT4=y
-CONFIG_FS_RAMFS=y
-CONFIG_FS_DEVFS=y
-CONFIG_FS_TFTP=y
-CONFIG_FS_NFS=y
-CONFIG_FS_FAT=y
-CONFIG_FS_FAT_WRITE=y
-CONFIG_FS_FAT_LFN=y
-# CONFIG_FS_UBIFS is not set
-# CONFIG_FS_BPKFS is not set
-# CONFIG_FS_UIMAGEFS is not set
-# CONFIG_FS_PSTORE is not set
-# CONFIG_FS_SQUASHFS is not set
-
-#
-# Library routines
-#
-CONFIG_PARAMETER=y
-CONFIG_UNCOMPRESS=y
-# CONFIG_ZLIB is not set
-# CONFIG_BZLIB is not set
-# CONFIG_LZ4_DECOMPRESS is not set
-# CONFIG_XZ_DECOMPRESS is not set
-# CONFIG_GENERIC_FIND_NEXT_BIT is not set
-CONFIG_PROCESS_ESCAPE_SEQUENCE=y
-CONFIG_LZO_DECOMPRESS=y
-CONFIG_QSORT=y
-CONFIG_LIBSCAN=y
-CONFIG_LIBUBIGEN=y
-
-#
-# Library gui routines
-#
-# CONFIG_BAREBOX_LOGO is not set
-
-#
-# Crypto support
-#
-CONFIG_CRC32=y
-CONFIG_CRC16=y
-CONFIG_DIGEST=y
-CONFIG_MD5=y
-CONFIG_DIGEST_MD5_GENERIC=y
-# CONFIG_DIGEST_SHA1_GENERIC is not set
-# CONFIG_DIGEST_SHA224_GENERIC is not set
-# CONFIG_DIGEST_SHA256_GENERIC is not set
-# CONFIG_DIGEST_SHA384_GENERIC is not set
-# CONFIG_DIGEST_SHA512_GENERIC is not set
-# CONFIG_DIGEST_HMAC_GENERIC is not set
-# CONFIG_DIGEST_SHA1_ARM is not set
-# CONFIG_DIGEST_SHA256_ARM is not set
-# CONFIG_CRYPTO_KEYSTORE is not set
diff --git a/configs/platform-v7a/barebox_mlo.config b/configs/platform-v7a/barebox_mlo.config
deleted file mode 100644
index 39dd4a5..0000000
--- a/configs/platform-v7a/barebox_mlo.config
+++ /dev/null
@@ -1,366 +0,0 @@
-#
-# Automatically generated file; DO NOT EDIT.
-# Barebox/arm 2016.05.0 Configuration
-#
-CONFIG_ARM=y
-CONFIG_ARM_USE_COMPRESSED_DTB=y
-
-#
-# System Type
-#
-# CONFIG_ARCH_AT91 is not set
-# CONFIG_ARCH_BCM2835 is not set
-# CONFIG_ARCH_BCM2836 is not set
-# CONFIG_ARCH_CLPS711X is not set
-# CONFIG_ARCH_DAVINCI is not set
-# CONFIG_ARCH_DIGIC is not set
-# CONFIG_ARCH_EP93XX is not set
-# CONFIG_ARCH_HIGHBANK is not set
-# CONFIG_ARCH_IMX is not set
-# CONFIG_ARCH_MVEBU is not set
-# CONFIG_ARCH_MXS is not set
-# CONFIG_ARCH_NETX is not set
-# CONFIG_ARCH_NOMADIK is not set
-CONFIG_ARCH_OMAP=y
-# CONFIG_ARCH_PXA is not set
-# CONFIG_ARCH_ROCKCHIP is not set
-# CONFIG_ARCH_SOCFPGA is not set
-# CONFIG_ARCH_S3C24xx is not set
-# CONFIG_ARCH_S5PCxx is not set
-# CONFIG_ARCH_S3C64xx is not set
-# CONFIG_ARCH_VERSATILE is not set
-# CONFIG_ARCH_VEXPRESS is not set
-# CONFIG_ARCH_TEGRA is not set
-# CONFIG_ARCH_UEMD is not set
-# CONFIG_ARCH_ZYNQ is not set
-
-#
-# Processor Type
-#
-CONFIG_CPU_32=y
-CONFIG_CPU_V7=y
-CONFIG_CPU_32v7=y
-
-#
-# processor features
-#
-# CONFIG_BOOT_ENDIANNESS_SWITCH is not set
-CONFIG_BAREBOX_MAX_IMAGE_SIZE=0xffffffff
-
-#
-# OMAP Features
-#
-CONFIG_ARCH_AM33XX=y
-CONFIG_OMAP_CLOCK_SOURCE_DMTIMER=y
-CONFIG_OMAP_GPMC=y
-CONFIG_OMAP_BUILD_IFT=y
-# CONFIG_OMAP_BUILD_SPI is not set
-CONFIG_OMAP_SERIALBOOT=y
-CONFIG_OMAP_MULTI_BOARDS=y
-CONFIG_MACH_AFI_GF=y
-# CONFIG_MACH_BEAGLE is not set
-CONFIG_MACH_BEAGLEBONE=y
-CONFIG_MACH_PHYTEC_SOM_AM335X=y
-CONFIG_ARM_ASM_UNIFIED=y
-CONFIG_AEABI=y
-CONFIG_THUMB2_BAREBOX=y
-
-#
-# ARM specific settings
-#
-# CONFIG_ARM_OPTIMZED_STRING_FUNCTIONS is not set
-CONFIG_ARM_EXCEPTIONS=y
-# CONFIG_ARM_UNWIND is not set
-# CONFIG_ARM_SEMIHOSTING is not set
-CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"
-CONFIG_HAS_KALLSYMS=y
-CONFIG_HAS_MODULES=y
-CONFIG_HAS_CACHE=y
-CONFIG_HAS_DMA=y
-CONFIG_GENERIC_GPIO=y
-CONFIG_BLOCK=y
-CONFIG_FILETYPE=y
-
-#
-# General Settings
-#
-CONFIG_LOCALVERSION=""
-CONFIG_LOCALVERSION_AUTO=y
-CONFIG_BANNER=y
-# CONFIG_MEMINFO is not set
-# CONFIG_ENVIRONMENT_VARIABLES is not set
-
-#
-# memory layout
-#
-CONFIG_HAVE_PBL_IMAGE=y
-CONFIG_HAVE_PBL_MULTI_IMAGES=y
-CONFIG_HAVE_IMAGE_COMPRESSION=y
-CONFIG_PBL_IMAGE=y
-CONFIG_PBL_MULTI_IMAGES=y
-CONFIG_PBL_RELOCATABLE=y
-CONFIG_IMAGE_COMPRESSION=y
-# CONFIG_IMAGE_COMPRESSION_LZ4 is not set
-CONFIG_IMAGE_COMPRESSION_LZO=y
-# CONFIG_IMAGE_COMPRESSION_GZIP is not set
-# CONFIG_IMAGE_COMPRESSION_XZKERN is not set
-# CONFIG_IMAGE_COMPRESSION_NONE is not set
-CONFIG_MMU=y
-CONFIG_MMU_EARLY=y
-CONFIG_HAVE_CONFIGURABLE_TEXT_BASE=y
-CONFIG_TEXT_BASE=0x0
-CONFIG_BAREBOX_MAX_PBL_SIZE=0xffffffff
-CONFIG_BAREBOX_MAX_BARE_INIT_SIZE=0xffffffff
-CONFIG_BAREBOX_MAX_PBLX_SIZE=0xffffffff
-CONFIG_STACK_SIZE=0x8000
-CONFIG_MALLOC_SIZE=0x0
-# CONFIG_EXPERIMENTAL is not set
-# CONFIG_MALLOC_DLMALLOC is not set
-CONFIG_MALLOC_TLSF=y
-# CONFIG_MALLOC_DUMMY is not set
-# CONFIG_KALLSYMS is not set
-CONFIG_RELOCATABLE=y
-# CONFIG_PANIC_HANG is not set
-CONFIG_PROMPT="MLO>"
-CONFIG_BAUDRATE=115200
-CONFIG_SIMPLE_READLINE=y
-CONFIG_CBSIZE=1024
-# CONFIG_SHELL_HUSH is not set
-# CONFIG_SHELL_SIMPLE is not set
-CONFIG_SHELL_NONE=y
-# CONFIG_GLOB is not set
-# CONFIG_PASSWORD is not set
-# CONFIG_ERRNO_MESSAGES is not set
-# CONFIG_TIMESTAMP is not set
-# CONFIG_IMD is not set
-# CONFIG_KERNEL_INSTALL_TARGET is not set
-CONFIG_CONSOLE_FULL=y
-# CONFIG_CONSOLE_SIMPLE is not set
-# CONFIG_CONSOLE_NONE is not set
-# CONFIG_CONSOLE_ACTIVATE_FIRST is not set
-# CONFIG_CONSOLE_ACTIVATE_ALL is not set
-CONFIG_CONSOLE_ACTIVATE_NONE=y
-# CONFIG_PBL_CONSOLE is not set
-# CONFIG_CONSOLE_RATP is not set
-CONFIG_PARTITION=y
-CONFIG_PARTITION_DISK=y
-CONFIG_PARTITION_DISK_DOS=y
-# CONFIG_PARTITION_DISK_EFI is not set
-# CONFIG_DEFAULT_ENVIRONMENT is not set
-# CONFIG_DEFAULT_COMPRESSION_LZO is not set
-CONFIG_DEFAULT_COMPRESSION_NONE=y
-CONFIG_HAVE_DEFAULT_ENVIRONMENT_NEW=y
-# CONFIG_BAREBOXENV_TARGET is not set
-# CONFIG_BAREBOXCRC32_TARGET is not set
-# CONFIG_POLLER is not set
-
-#
-# Debugging
-#
-CONFIG_COMPILE_LOGLEVEL=6
-CONFIG_DEFAULT_LOGLEVEL=7
-# CONFIG_DEBUG_INFO is not set
-# CONFIG_DEBUG_LL is not set
-CONFIG_DEBUG_OMAP_UART_PORT=1
-# CONFIG_DEBUG_INITCALLS is not set
-CONFIG_HAS_DEBUG_LL=y
-# CONFIG_HAS_POWEROFF is not set
-# CONFIG_NET is not set
-
-#
-# Drivers
-#
-CONFIG_OFTREE=y
-CONFIG_OFTREE_MEM_GENERIC=y
-CONFIG_DTC=y
-CONFIG_OFDEVICE=y
-CONFIG_OF_GPIO=y
-
-#
-# serial drivers
-#
-# CONFIG_DRIVER_SERIAL_ARM_DCC is not set
-CONFIG_DRIVER_SERIAL_NS16550=y
-CONFIG_DRIVER_SERIAL_NS16550_OMAP_EXTENSIONS=y
-# CONFIG_DRIVER_SERIAL_CADENCE is not set
-
-#
-# SPI drivers
-#
-CONFIG_SPI=y
-# CONFIG_DRIVER_SPI_GPIO is not set
-CONFIG_DRIVER_SPI_OMAP3=y
-# CONFIG_I2C is not set
-CONFIG_MTD=y
-# CONFIG_MTD_WRITE is not set
-# CONFIG_MTD_OOB_DEVICE is not set
-# CONFIG_MTD_RAW_DEVICE is not set
-# CONFIG_MTD_CONCAT is not set
-
-#
-# MTD debug options
-#
-# CONFIG_MTD_PEB_DEBUG is not set
-
-#
-# Self contained MTD devices
-#
-# CONFIG_MTD_DATAFLASH is not set
-CONFIG_MTD_M25P80=y
-# CONFIG_MTD_SST25L is not set
-# CONFIG_MTD_DOCG3 is not set
-# CONFIG_MTD_MTDRAM is not set
-# CONFIG_DRIVER_CFI is not set
-CONFIG_NAND=y
-# CONFIG_NAND_ECC_SOFT is not set
-# CONFIG_NAND_ECC_BCH is not set
-CONFIG_NAND_ECC_HW=y
-# CONFIG_NAND_ECC_HW_OOB_FIRST is not set
-# CONFIG_NAND_ECC_HW_SYNDROME is not set
-# CONFIG_NAND_ECC_HW_NONE is not set
-# CONFIG_NAND_INFO is not set
-# CONFIG_NAND_BBT is not set
-CONFIG_NAND_OMAP_GPMC=y
-# CONFIG_MTD_NAND_ECC_SMC is not set
-CONFIG_MTD_NAND_IDS=y
-# CONFIG_MTD_NAND_DENALI is not set
-CONFIG_MTD_SPI_NOR=y
-# CONFIG_SPI_CADENCE_QUADSPI is not set
-# CONFIG_MTD_UBI is not set
-CONFIG_DISK=y
-# CONFIG_DISK_WRITE is not set
-
-#
-# drive types
-#
-# CONFIG_DISK_ATA is not set
-# CONFIG_DISK_AHCI is not set
-
-#
-# interface types
-#
-# CONFIG_DISK_INTF_PLATFORM_IDE is not set
-# CONFIG_USB_HOST is not set
-# CONFIG_USB_GADGET is not set
-# CONFIG_USB_MUSB is not set
-# CONFIG_VIDEO is not set
-CONFIG_MCI=y
-
-#
-# --- Feature list ---
-#
-# CONFIG_MCI_STARTUP is not set
-# CONFIG_MCI_WRITE is not set
-# CONFIG_MCI_MMC_BOOT_PARTITIONS is not set
-
-#
-# --- MCI host drivers ---
-#
-# CONFIG_MCI_DW is not set
-CONFIG_MCI_OMAP_HSMMC=y
-# CONFIG_MCI_SPI is not set
-CONFIG_CLOCKSOURCE_DUMMY_RATE=1000
-
-#
-# MFD
-#
-# CONFIG_MFD_MC13XXX is not set
-# CONFIG_MFD_SYSCON is not set
-
-#
-# Misc devices
-#
-# CONFIG_JTAG is not set
-# CONFIG_SRAM is not set
-# CONFIG_LED is not set
-
-#
-# EEPROM support
-#
-# CONFIG_EEPROM_AT25 is not set
-
-#
-# Input device support
-#
-# CONFIG_KEYBOARD_GPIO is not set
-# CONFIG_WATCHDOG is not set
-# CONFIG_PWM is not set
-
-#
-# DMA support
-#
-CONFIG_GPIOLIB=y
-
-#
-# GPIO
-#
-# CONFIG_GPIO_74164 is not set
-# CONFIG_GPIO_GENERIC_PLATFORM is not set
-# CONFIG_GPIO_IMX is not set
-# CONFIG_GPIO_MXS is not set
-CONFIG_GPIO_OMAP=y
-# CONFIG_GPIO_DESIGNWARE is not set
-# CONFIG_W1 is not set
-CONFIG_PINCTRL=y
-CONFIG_PINCTRL_SINGLE=y
-
-#
-# Bus devices
-#
-CONFIG_BUS_OMAP_GPMC=y
-# CONFIG_REGULATOR is not set
-# CONFIG_RESET_CONTROLLER is not set
-# CONFIG_RTC_CLASS is not set
-
-#
-# Firmware Drivers
-#
-# CONFIG_FIRMWARE_ALTERA_SERIAL is not set
-
-#
-# PHY Subsystem
-#
-# CONFIG_GENERIC_PHY is not set
-# CONFIG_CRYPTO_HW is not set
-
-#
-# Filesystem support
-#
-CONFIG_FS=y
-# CONFIG_FS_CRAMFS is not set
-# CONFIG_FS_EXT4 is not set
-CONFIG_FS_RAMFS=y
-# CONFIG_FS_DEVFS is not set
-CONFIG_FS_FAT=y
-# CONFIG_FS_FAT_WRITE is not set
-CONFIG_FS_FAT_LFN=y
-# CONFIG_FS_BPKFS is not set
-# CONFIG_FS_UIMAGEFS is not set
-# CONFIG_FS_PSTORE is not set
-# CONFIG_FS_SQUASHFS is not set
-
-#
-# Library routines
-#
-CONFIG_UNCOMPRESS=y
-# CONFIG_ZLIB is not set
-# CONFIG_BZLIB is not set
-# CONFIG_LZ4_DECOMPRESS is not set
-# CONFIG_XZ_DECOMPRESS is not set
-# CONFIG_GENERIC_FIND_NEXT_BIT is not set
-# CONFIG_PROCESS_ESCAPE_SEQUENCE is not set
-CONFIG_LZO_DECOMPRESS=y
-CONFIG_XYMODEM=y
-
-#
-# Library gui routines
-#
-# CONFIG_BAREBOX_LOGO is not set
-# CONFIG_BOOTSTRAP is not set
-
-#
-# Crypto support
-#
-CONFIG_CRC16=y
-# CONFIG_DIGEST is not set
-# CONFIG_CRYPTO_KEYSTORE is not set
diff --git a/configs/platform-v7a/config/images/boot-vfat.config b/configs/platform-v7a/config/images/boot-vfat.config
deleted file mode 100644
index aa569fd..0000000
--- a/configs/platform-v7a/config/images/boot-vfat.config
+++ /dev/null
@@ -1,12 +0,0 @@
-image @IMAGE@ {
-    vfat {
-        files = { @FIRMWARE_RPI2@ }
-        file MLO { image = "barebox-am33xx-beaglebone-mlo.img"}
-        file barebox.bin-rpi2 { image = barebox.bin-rpi2 }
-        file barebox.bin-gf { image = barebox.bin-gf }
-        #file barebox.bin { image = "barebox-am33xx-beaglebone.img" }
-        file barebox.bin { image = "barebox-am33xx-afi-gf.img" }
-    }
-    name = boot-mlo
-    size = 32M
-}
diff --git a/configs/platform-v7a/config/images/hd.config b/configs/platform-v7a/config/images/hd.config
deleted file mode 100644
index 4ff3363..0000000
--- a/configs/platform-v7a/config/images/hd.config
+++ /dev/null
@@ -1,18 +0,0 @@
-
-@BOOTLOADER_IMAGES@
-
-image @IMAGE@ {
-	hdimage {
-		align = 1M
-	}
-	@BOOTLOADER_PARTITIONS@
-	partition root-A {
-		image = root.ext2
-		partition-type = 0x83
-		size = 512M
-	}
-	partition data {
-		partition-type = 0x83
-		size = 512M
-	}
-}
diff --git a/configs/platform-v7a/platforms/barebox-gf.in b/configs/platform-v7a/platforms/barebox-gf.in
deleted file mode 100644
index 54f45f6..0000000
--- a/configs/platform-v7a/platforms/barebox-gf.in
+++ /dev/null
@@ -1,20 +0,0 @@
-## SECTION=bootloader
-
-config BAREBOX_GF
-	tristate
-	prompt "Barebox (gf)"
-	select HOST_LZOP if BAREBOX_GF_NEEDS_HOST_LZOP
-	help
-	  Gute Fee support for barebox.
-
-if BAREBOX_GF
-
-config BAREBOX_GF_NEEDS_HOST_LZOP
-	prompt "barebox gf needs lzop"
-	bool
-	help
-	  The barebox gf can be compressed. Select this if lzop
-	  is used in order to compile lzop for your development
-	  host.
-
-endif
diff --git a/configs/platform-v7a/platforms/image-boot-vfat.in b/configs/platform-v7a/platforms/image-boot-vfat.in
deleted file mode 100644
index 6ac5dd9..0000000
--- a/configs/platform-v7a/platforms/image-boot-vfat.in
+++ /dev/null
@@ -1,22 +0,0 @@
-## SECTION=image2
-
-config IMAGE_BOOT_VFAT
-	tristate
-	select HOST_GENIMAGE
-	select HOST_MTOOLS
-	select HOST_DOSFSTOOLS
-	select KERNEL
-	prompt "Generate image/boot.vfat"
-	help
-	  FIXME
-
-if IMAGE_BOOT_VFAT
-
-config IMAGE_BOOT_VFAT_GPU_MEM
-	int
-	default 64
-	prompt "GPU memory"
-	help
-	  GPU memory in megabyte. Sets the memory split between the ARM
-	  and GPU. ARM gets the remaining memory. Min 16.
-endif
diff --git a/configs/platform-v7a/rules/barebox-gf.make b/configs/platform-v7a/rules/barebox-gf.make
deleted file mode 100644
index c28e677..0000000
--- a/configs/platform-v7a/rules/barebox-gf.make
+++ /dev/null
@@ -1,92 +0,0 @@
-# -*-makefile-*-
-#
-# Copyright (C) 2017 by Robert Schwebel <r.schwebel@pengutronix.de>
-#
-# See CREDITS for details about who has contributed to this project.
-#
-# For further information about the PTXdist project and license conditions
-# see the README file.
-#
-
-#
-# We provide this package
-#
-PACKAGES-$(PTXCONF_BAREBOX_GF) += barebox-gf
-
-#
-# Paths and names
-#
-BAREBOX_GF_VERSION	:= 2016.05.0
-BAREBOX_GF_MD5		:=
-BAREBOX_GF		:= barebox-$(BAREBOX_GF_VERSION)
-BAREBOX_GF_SUFFIX	:= tar.bz2
-BAREBOX_GF_DIR		:= $(BUILDDIR)/barebox-gf-$(BAREBOX_GF_VERSION)
-BAREBOX_GF_CONFIG	:= $(PTXDIST_PLATFORMCONFIGDIR)/barebox-gf.config.$(BAREBOX_GF_VERSION)
-BAREBOX_GF_LICENSE	:= GPL-2.0
-BAREBOX_GF_URL		:= $(call barebox-url, BAREBOX_GF)
-BAREBOX_GF_SOURCE	:= $(SRCDIR)/$(BAREBOX_GF).$(BAREBOX_GF_SUFFIX)
-
-# ----------------------------------------------------------------------------
-# Prepare
-# ----------------------------------------------------------------------------
-
-BAREBOX_GF_BLACKLIST := \
-	TARGET_HARDEN_RELRO \
-	TARGET_HARDEN_BINDNOW \
-	TARGET_HARDEN_PIE \
-	TARGET_DEBUG
-
-BAREBOX_GF_CONF_ENV := KCONFIG_NOTIMESTAMP=1
-BAREBOX_GF_CONF_OPT := $(call barebox-opts, BAREBOX_GF)
-
-BAREBOX_GF_MAKE_ENV := $(BAREBOX_GF_CONF_ENV)
-BAREBOX_GF_MAKE_OPT := $(BAREBOX_GF_CONF_OPT)
-
-BAREBOX_GF_IMAGES := barebox.bin
-BAREBOX_GF_IMAGES := $(addprefix $(BAREBOX_GF_DIR)/,$(BAREBOX_GF_IMAGES))
-
-ifdef PTXCONF_BAREBOX_GF
-$(BAREBOX_GF_CONFIG):
-	@echo
-	@echo "****************************************************************************"
-	@echo " Please generate a bareboxconfig with 'ptxdist menuconfig barebox-gf'"
-	@echo "****************************************************************************"
-	@echo
-	@echo
-	@exit 1
-endif
-
-$(STATEDIR)/barebox-gf.prepare: $(BAREBOX_GF_CONFIG)
-
-# ----------------------------------------------------------------------------
-# Install
-# ----------------------------------------------------------------------------
-
-BAREBOX_GF_INSTALL_OPT := \
-	$(call barebox-opts, BAREBOX_GF)
-
-$(STATEDIR)/barebox-gf.install:
-	@$(call targetinfo)
-	@$(foreach image, $(BAREBOX_GF_IMAGES), \
-		install -m 644 \
-			$(image) $(IMAGEDIR)/$(notdir $(image))-gf;)
-	@$(call touch)
-
-# ----------------------------------------------------------------------------
-# Clean
-# ----------------------------------------------------------------------------
-
-$(STATEDIR)/barebox-gf.clean:
-	@$(call targetinfo)
-	@$(call clean_pkg, BAREBOX_GF)
-	@$(foreach image, $(BAREBOX_GF_IMAGES), \
-		rm -fv $(IMAGEDIR)/$(notdir $(image))-gf;)
-
-# ----------------------------------------------------------------------------
-# oldconfig / menuconfig
-# ----------------------------------------------------------------------------
-
-barebox-gf_oldconfig barebox-gf_menuconfig barebox-gf_nconfig: $(STATEDIR)/barebox-gf.extract
-	@$(call world/kconfig, BAREBOX_GF, $(subst barebox-gf_,,$@))
-
-# vim: syntax=make
diff --git a/configs/platform-v7a/rules/post/genimage-fixup.make b/configs/platform-v7a/rules/post/genimage-fixup.make
deleted file mode 100644
index 8ce221b..0000000
--- a/configs/platform-v7a/rules/post/genimage-fixup.make
+++ /dev/null
@@ -1,4 +0,0 @@
-$(IMAGEDIR)/boot.vfat: $(STATEDIR)/kernel.targetinstall.post
-$(IMAGEDIR)/boot.vfat: $(STATEDIR)/barebox.targetinstall.post
-$(IMAGEDIR)/boot.vfat: $(STATEDIR)/barebox-rpi2.targetinstall.post
-$(IMAGEDIR)/boot.vfat: $(STATEDIR)/barebox-gf.targetinstall.post