1 files changed, 137 insertions, 8 deletions
diff --git a/debian.linaro/config/armhf/config.flavour.linaro-vexpress b/debian.linaro/config/armhf/config.flavour.linaro-vexpress
index 38ad147e0b6..f619e1026f6 100644
--- a/debian.linaro/config/armhf/config.flavour.linaro-vexpress
+++ b/debian.linaro/config/armhf/config.flavour.linaro-vexpress
@@ -6,39 +6,168 @@ CONFIG_AC97_BUS=y
 CONFIG_ARCH_VEXPRESS=y
 CONFIG_ARM_ERRATA_751472=y
 # CONFIG_ARM_THUMBEE is not set
+# CONFIG_ATA is not set
 CONFIG_AUTO_ZRELADDR=y
+# CONFIG_AVERAGE is not set
 # CONFIG_BACKLIGHT_LCD_SUPPORT is not set
-CONFIG_CMDLINE="root=/dev/nfs nfsroot=10.1.69.3:/work/nfsroot ip=dhcp console=ttyAMA0 mem=128M"
+CONFIG_BINFMT_MISC=y
+# CONFIG_BLK_DEV_LOOP is not set
+# CONFIG_BT is not set
+# CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
+# CONFIG_CFG80211 is not set
+# CONFIG_CGROUPS is not set
+CONFIG_CMDLINE="console=ttyAMA0,38400n8 root=/dev/mmcblk0p2 rootwait mmci.fmax=4000000"
+CONFIG_CPU_IDLE=y
+CONFIG_CRYPTO_ANSI_CPRNG=m
+# CONFIG_CRYPTO_ARC4 is not set
+CONFIG_CRYPTO_BLKCIPHER=y
+# CONFIG_CRYPTO_BLOWFISH is not set
+CONFIG_CRYPTO_CBC=y
+# CONFIG_CRYPTO_DEFLATE is not set
+CONFIG_CRYPTO_ECB=y
+# CONFIG_CRYPTO_LZO is not set
+CONFIG_CRYPTO_MANAGER=y
+CONFIG_CRYPTO_MD5=y
+# CONFIG_CRYPTO_SERPENT is not set
+# CONFIG_CRYPTO_SHA256 is not set
+# CONFIG_CRYPTO_TWOFISH is not set
+# CONFIG_DEBUG_INFO is not set
+# CONFIG_DEBUG_LL is not set
+# CONFIG_DEBUG_MEMORY_INIT is not set
+# CONFIG_DEBUG_USER is not set
+# CONFIG_DETECT_HUNG_TASK is not set
 # CONFIG_DRM is not set
+CONFIG_ECRYPT_FS=y
+# CONFIG_EEPROM_93CX6 is not set
+CONFIG_EMBEDDED=y
 # CONFIG_FB_MODE_HELPERS is not set
 # CONFIG_FB_TILEBLITTING is not set
 # CONFIG_FIRMWARE_EDID is not set
 # CONFIG_FONTS is not set
 # CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY is not set
 # CONFIG_FRAMEBUFFER_CONSOLE_ROTATION is not set
+# CONFIG_FUNCTION_TRACER is not set
 # CONFIG_GPIOLIB is not set
+# CONFIG_HID_A4TECH is not set
+# CONFIG_HID_APPLE is not set
+# CONFIG_HID_BELKIN is not set
+# CONFIG_HID_CHERRY is not set
+# CONFIG_HID_CHICONY is not set
+# CONFIG_HID_CYPRESS is not set
+# CONFIG_HID_DRAGONRISE is not set
+# CONFIG_HID_EZKEY is not set
+# CONFIG_HID_GREENASIA is not set
+# CONFIG_HID_GYRATION is not set
+# CONFIG_HID_KENSINGTON is not set
+# CONFIG_HID_KYE is not set
+# CONFIG_HID_LOGITECH is not set
+# CONFIG_HID_MICROSOFT is not set
+# CONFIG_HID_MONTEREY is not set
+# CONFIG_HID_NTRIG is not set
+# CONFIG_HID_PANTHERLORD is not set
+# CONFIG_HID_PETALYNX is not set
+# CONFIG_HID_SAMSUNG is not set
+# CONFIG_HID_SMARTJOYPLUS is not set
+# CONFIG_HID_SONY is not set
+# CONFIG_HID_SUNPLUS is not set
+# CONFIG_HID_THRUSTMASTER is not set
+# CONFIG_HID_TOPSEED is not set
+# CONFIG_HID_TWINHAN is not set
+# CONFIG_HID_ZEROPLUS is not set
+# CONFIG_HIGHMEM is not set
+CONFIG_HWMON=y
 CONFIG_HZ=100
-CONFIG_MAC80211_RC_DEFAULT="minstrel_ht"
-CONFIG_MAC80211_RC_DEFAULT_MINSTREL=y
-# CONFIG_MAC80211_RC_DEFAULT_PID is not set
+# CONFIG_I2C is not set
+# CONFIG_INPUT_JOYDEV is not set
+CONFIG_INPUT_MOUSEDEV=y
+# CONFIG_INPUT_TOUCHSCREEN is not set
+# CONFIG_ISO9660_FS is not set
+# CONFIG_KEXEC is not set
+# CONFIG_KPROBES is not set
+# CONFIG_KS8851_MLL is not set
+CONFIG_LEGACY_PTYS=y
+# CONFIG_LIB80211 is not set
+# CONFIG_LOGO_LINUX_MONO is not set
+# CONFIG_LOGO_LINUX_VGA16 is not set
+CONFIG_LOG_BUF_SHIFT=16
 # CONFIG_MFD_CORE is not set
-# CONFIG_MFD_TWL4030_AUDIO is not set
 # CONFIG_MMC_UNSAFE_RESUME is not set
-CONFIG_MUSB_PIO_ONLY=y
+# CONFIG_MODULE_FORCE_LOAD is not set
+# CONFIG_MODULE_SRCVERSION_ALL is not set
+# CONFIG_MODULE_UNLOAD is not set
+# CONFIG_MODVERSIONS is not set
+CONFIG_MOUSE_PS2=y
+# CONFIG_MTD_OF_PARTS is not set
+# CONFIG_MTD_ONENAND is not set
+# CONFIG_MTD_UBI is not set
+# CONFIG_NAMESPACES is not set
+# CONFIG_NEW_LEDS is not set
 # CONFIG_NOP_USB_XCEIV is not set
 CONFIG_NR_CPUS=4
+# CONFIG_OC_ETM is not set
+CONFIG_PAGE_OFFSET=0xC0000000
+# CONFIG_PARTITION_ADVANCED is not set
+CONFIG_PERF_COUNTERS=y
 # CONFIG_PL310_ERRATA_588369 is not set
 # CONFIG_PL310_ERRATA_727915 is not set
 CONFIG_PL310_ERRATA_753970=y
+# CONFIG_PM_DEBUG is not set
+# CONFIG_PM_RUNTIME is not set
+# CONFIG_POWER_SUPPLY is not set
+# CONFIG_PREEMPT is not set
+CONFIG_PREEMPT_NONE=y
+# CONFIG_PREEMPT_RCU is not set
+CONFIG_PROC_DEVICETREE=y
+CONFIG_QUOTA=y
+CONFIG_QUOTACTL=y
+# CONFIG_RD_BZIP2 is not set
+# CONFIG_RD_LZMA is not set
+# CONFIG_RD_LZO is not set
+# CONFIG_RD_XZ is not set
+# CONFIG_REGULATOR is not set
+# CONFIG_RELAY is not set
+CONFIG_SCHED_MC=y
+CONFIG_SCHED_SMT=y
+# CONFIG_SCSI_MULTI_LUN is not set
+# CONFIG_SCSI_SCAN_ASYNC is not set
+# CONFIG_SDIO_UART is not set
+# CONFIG_SERIAL_8250 is not set
+# CONFIG_SMC91X is not set
+# CONFIG_SMSC_PHY is not set
 CONFIG_SND=y
 CONFIG_SND_AC97_CODEC=y
 CONFIG_SND_ARMAACI=y
+# CONFIG_SND_DEBUG is not set
 # CONFIG_SND_DYNAMIC_MINORS is not set
+# CONFIG_SND_MIXER_OSS is not set
 CONFIG_SND_PCM=y
+# CONFIG_SND_PCM_OSS is not set
+# CONFIG_SND_SOC is not set
 CONFIG_SND_TIMER=y
-# CONFIG_TWL6040_CORE is not set
+# CONFIG_SND_USB_AUDIO is not set
+# CONFIG_SND_VERBOSE_PRINTK is not set
+# CONFIG_SOUND_OSS_CORE is not set
+# CONFIG_SPI is not set
+# CONFIG_SSB is not set
+# CONFIG_SYSCTL_SYSCALL is not set
+# CONFIG_USB_ANNOUNCE_NEW_DEVICES is not set
 # CONFIG_USB_ARCH_HAS_EHCI is not set
 # CONFIG_USB_ARCH_HAS_OHCI is not set
+# CONFIG_USB_DEBUG is not set
+# CONFIG_USB_GADGET is not set
 CONFIG_USB_ISP1760_HCD=y
-CONFIG_USB_MUSB_TUSB6010=y
+# CONFIG_USB_LIBUSUAL is not set
+# CONFIG_USB_MON is not set
+# CONFIG_USB_TEST is not set
+# CONFIG_USB_USBNET is not set
+# CONFIG_USB_WDM is not set
+# CONFIG_USB_ZD1201 is not set
+# CONFIG_VMSPLIT_2G is not set
+CONFIG_VMSPLIT_3G=y
+# CONFIG_VT_HW_CONSOLE_BINDING is not set
 # CONFIG_W1 is not set
+# CONFIG_WATCHDOG is not set
+# CONFIG_XZ_DEC is not set
+# CONFIG_XZ_DEC_BCJ is not set
+CONFIG_ZBOOT_ROM_BSS=0
+CONFIG_ZBOOT_ROM_TEXT=0