[DistroKit] [PATCH 1/2] v7a_noneon: image-ksz9477-evb: select missing HOST_MTOOLS dependency

[DistroKit] [PATCH 1/2] v7a_noneon: image-ksz9477-evb: select missing HOST_MTOOLS dependency

[Ahmad Fatoum]

genimage needs mtools-provided mcopy to install files in the vfat boot
partition. Select it.

Signed-off-by: Ahmad Fatoum <a.fatoum@pengutronix.de>
---
 configs/platform-v7a_noneon/platformconfig                 | 1 +
 configs/platform-v7a_noneon/platforms/image-ksz9477-evb.in | 1 +
 2 files changed, 2 insertions(+)

diff --git a/configs/platform-v7a_noneon/platformconfig b/configs/platform-v7a_noneon/platformconfig
index 627a37ce9635..f1512d76da03 100644
--- a/configs/platform-v7a_noneon/platformconfig
+++ b/configs/platform-v7a_noneon/platformconfig
@@ -261,6 +261,7 @@ PTXCONF_HOST_LIBKMOD=y
 PTXCONF_HOST_LIBLZO=y
 PTXCONF_HOST_LZOP=y
 PTXCONF_HOST_M4=y
+PTXCONF_HOST_MTOOLS=y
 PTXCONF_HOST_SYSTEM_BC=y
 PTXCONF_HOST_UTIL_LINUX_NG=y
 
diff --git a/configs/platform-v7a_noneon/platforms/image-ksz9477-evb.in b/configs/platform-v7a_noneon/platforms/image-ksz9477-evb.in
index f9c5cb1c8f80..4fc2112a12f9 100644
--- a/configs/platform-v7a_noneon/platforms/image-ksz9477-evb.in
+++ b/configs/platform-v7a_noneon/platforms/image-ksz9477-evb.in
@@ -4,6 +4,7 @@ config IMAGE_KSZ9477_EVB
 	tristate
 	select HOST_GENIMAGE
 	select IMAGE_ROOT_EXT
+	select HOST_MTOOLS
 	select HOST_DOSFSTOOLS
 	select BAREBOX_AT91
 	prompt "Generate images/image-ksz9477-evb.hdimg"
-- 
2.30.2

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

[Ahmad Fatoum]

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

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

[Ahmad Fatoum]

On 27.06.22 11:34, Ahmad Fatoum wrote:
> 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>

Please this dismiss 2/2. It's already in next. 1/2 is still applicable.

Thanks,
Ahmad

> ---
>  .../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


-- 
Pengutronix e.K.                           |                             |
Steuerwalder Str. 21                       | http://www.pengutronix.de/  |
31137 Hildesheim, Germany                  | Phone: +49-5121-206917-0    |
Amtsgericht Hildesheim, HRA 2686           | Fax:   +49-5121-206917-5555 |