target/linux/brcm2708/bcm2709/config-4.9

   1 # CONFIG_AIO is not set
   2 CONFIG_ALIGNMENT_TRAP=y
   3 CONFIG_ARCH_BCM=y
   4 CONFIG_ARCH_BCM2835=y
   5 CONFIG_ARCH_CLOCKSOURCE_DATA=y
   6 CONFIG_ARCH_HAS_ELF_RANDOMIZE=y
   7 CONFIG_ARCH_HAS_GCOV_PROFILE_ALL=y
   8 CONFIG_ARCH_HAS_SG_CHAIN=y
   9 CONFIG_ARCH_HAS_TICK_BROADCAST=y
  10 CONFIG_ARCH_HAVE_CUSTOM_GPIO_H=y
  11 CONFIG_ARCH_HIBERNATION_POSSIBLE=y
  12 CONFIG_ARCH_MIGHT_HAVE_PC_PARPORT=y
  13 CONFIG_ARCH_MMAP_RND_BITS_MAX=15
  14 CONFIG_ARCH_MULTIPLATFORM=y
  15 # CONFIG_ARCH_MULTI_CPU_AUTO is not set
  16 CONFIG_ARCH_MULTI_V6_V7=y
  17 CONFIG_ARCH_MULTI_V7=y
  18 CONFIG_ARCH_NR_GPIO=0
  19 # CONFIG_ARCH_SELECT_MEMORY_MODEL is not set
  20 # CONFIG_ARCH_SPARSEMEM_DEFAULT is not set
  21 CONFIG_ARCH_SUPPORTS_ATOMIC_RMW=y
  22 CONFIG_ARCH_SUPPORTS_UPROBES=y
  23 CONFIG_ARCH_SUSPEND_POSSIBLE=y
  24 CONFIG_ARCH_USE_BUILTIN_BSWAP=y
  25 CONFIG_ARCH_USE_CMPXCHG_LOCKREF=y
  26 CONFIG_ARCH_WANT_GENERAL_HUGETLB=y
  27 CONFIG_ARCH_WANT_IPC_PARSE_VERSION=y
  28 CONFIG_ARM=y
  29 CONFIG_ARM_AMBA=y
  30 CONFIG_ARM_ARCH_TIMER=y
  31 CONFIG_ARM_ARCH_TIMER_EVTSTREAM=y
  32 CONFIG_ARM_BCM2835_CPUFREQ=y
  33 CONFIG_ARM_CPU_SUSPEND=y
  34 CONFIG_ARM_HAS_SG_CHAIN=y
  35 CONFIG_ARM_L1_CACHE_SHIFT=6
  36 CONFIG_ARM_L1_CACHE_SHIFT_6=y
  37 # CONFIG_ARM_LPAE is not set
  38 CONFIG_ARM_PATCH_IDIV=y
  39 CONFIG_ARM_PATCH_PHYS_VIRT=y
  40 # CONFIG_ARM_SCPI_PROTOCOL is not set
  41 # CONFIG_ARM_SP805_WATCHDOG is not set
  42 CONFIG_ARM_THUMB=y
  43 # CONFIG_ARM_THUMBEE is not set
  44 CONFIG_ARM_TIMER_SP804=y
  45 CONFIG_ARM_UNWIND=y
  46 CONFIG_ARM_VIRT_EXT=y
  47 CONFIG_AUTO_ZRELADDR=y
  48 # CONFIG_BACKLIGHT_CLASS_DEVICE is not set
  49 CONFIG_BACKLIGHT_LCD_SUPPORT=y
  50 CONFIG_BCM2708_VCHIQ=y
  51 CONFIG_BCM2708_VCMEM=y
  52 # CONFIG_BCM2835_DEVGPIOMEM is not set
  53 CONFIG_BCM2835_MBOX=y
  54 # CONFIG_BCM2835_SMI is not set
  55 # CONFIG_BCM2835_THERMAL is not set
  56 CONFIG_BCM2835_TIMER=y
  57 CONFIG_BCM2835_WDT=y
  58 CONFIG_BCM_VCIO=y
  59 CONFIG_BCM_VC_CMA=y
  60 CONFIG_BCM_VC_SM=y
  61 # CONFIG_BINFMT_FLAT is not set
  62 # CONFIG_BLK_DEV_INITRD is not set
  63 CONFIG_BLK_DEV_LOOP=y
  64 CONFIG_BLK_DEV_RAM=y
  65 CONFIG_BLK_DEV_RAM_COUNT=16
  66 CONFIG_BLK_DEV_RAM_SIZE=4096
  67 CONFIG_BLK_DEV_SD=y
  68 CONFIG_BRCM_CHAR_DRIVERS=y
  69 CONFIG_BUILD_BIN2C=y
  70 # CONFIG_CACHE_L2X0 is not set
  71 CONFIG_CLKDEV_LOOKUP=y
  72 CONFIG_CLKSRC_MMIO=y
  73 CONFIG_CLKSRC_OF=y
  74 CONFIG_CLKSRC_PROBE=y
  75 CONFIG_CLONE_BACKWARDS=y
  76 CONFIG_CMA=y
  77 CONFIG_CMA_ALIGNMENT=8
  78 CONFIG_CMA_AREAS=7
  79 # CONFIG_CMA_DEBUG is not set
  80 # CONFIG_CMA_DEBUGFS is not set
  81 CONFIG_CMA_SIZE_MBYTES=16
  82 # CONFIG_CMA_SIZE_SEL_MAX is not set
  83 CONFIG_CMA_SIZE_SEL_MBYTES=y
  84 # CONFIG_CMA_SIZE_SEL_MIN is not set
  85 # CONFIG_CMA_SIZE_SEL_PERCENTAGE is not set
  86 CONFIG_COMMON_CLK=y
  87 CONFIG_CONFIGFS_FS=y
  88 CONFIG_CONSOLE_TRANSLATIONS=y
  89 # CONFIG_CPUFREQ_DT is not set
  90 CONFIG_CPU_32v6K=y
  91 CONFIG_CPU_32v7=y
  92 CONFIG_CPU_ABRT_EV7=y
  93 # CONFIG_CPU_BPREDICT_DISABLE is not set
  94 CONFIG_CPU_CACHE_V7=y
  95 CONFIG_CPU_CACHE_VIPT=y
  96 CONFIG_CPU_COPY_V6=y
  97 CONFIG_CPU_CP15=y
  98 CONFIG_CPU_CP15_MMU=y
  99 CONFIG_CPU_FREQ=y
 100 CONFIG_CPU_FREQ_DEFAULT_GOV_ONDEMAND=y
 101 # CONFIG_CPU_FREQ_DEFAULT_GOV_PERFORMANCE is not set
 102 CONFIG_CPU_FREQ_GOV_ATTR_SET=y
 103 CONFIG_CPU_FREQ_GOV_COMMON=y
 104 CONFIG_CPU_FREQ_GOV_CONSERVATIVE=y
 105 CONFIG_CPU_FREQ_GOV_ONDEMAND=y
 106 CONFIG_CPU_FREQ_GOV_PERFORMANCE=y
 107 CONFIG_CPU_FREQ_GOV_POWERSAVE=y
 108 CONFIG_CPU_FREQ_GOV_USERSPACE=y
 109 CONFIG_CPU_FREQ_STAT=y
 110 CONFIG_CPU_HAS_ASID=y
 111 # CONFIG_CPU_HOTPLUG_STATE_CONTROL is not set
 112 # CONFIG_CPU_ICACHE_DISABLE is not set
 113 CONFIG_CPU_IDLE=y
 114 CONFIG_CPU_IDLE_GOV_LADDER=y
 115 CONFIG_CPU_IDLE_GOV_MENU=y
 116 CONFIG_CPU_PABRT_V7=y
 117 CONFIG_CPU_PM=y
 118 CONFIG_CPU_RMAP=y
 119 # CONFIG_CPU_THERMAL is not set
 120 CONFIG_CPU_TLB_V7=y
 121 CONFIG_CPU_V7=y
 122 CONFIG_CRC16=y
 123 CONFIG_CRYPTO_AEAD=y
 124 CONFIG_CRYPTO_AEAD2=y
 125 CONFIG_CRYPTO_CRC32C=y
 126 CONFIG_CRYPTO_HASH=y
 127 CONFIG_CRYPTO_HASH2=y
 128 CONFIG_CRYPTO_MANAGER=y
 129 CONFIG_CRYPTO_MANAGER2=y
 130 CONFIG_CRYPTO_NULL2=y
 131 CONFIG_CRYPTO_RNG2=y
 132 CONFIG_CRYPTO_WORKQUEUE=y
 133 CONFIG_DCACHE_WORD_ACCESS=y
 134 CONFIG_DEBUG_BUGVERBOSE=y
 135 CONFIG_DEBUG_INFO=y
 136 CONFIG_DEBUG_LL_INCLUDE="mach/debug-macro.S"
 137 # CONFIG_DEBUG_UART_8250 is not set
 138 # CONFIG_DEBUG_USER is not set
 139 CONFIG_DEFAULT_CFQ=y
 140 # CONFIG_DEFAULT_DEADLINE is not set
 141 CONFIG_DEFAULT_IOSCHED="cfq"
 142 CONFIG_DMADEVICES=y
 143 CONFIG_DMA_BCM2708=y
 144 CONFIG_DMA_BCM2835=y
 145 CONFIG_DMA_CMA=y
 146 CONFIG_DMA_ENGINE=y
 147 CONFIG_DMA_OF=y
 148 CONFIG_DMA_VIRTUAL_CHANNELS=y
 149 CONFIG_DNOTIFY=y
 150 CONFIG_DTC=y
 151 CONFIG_DUMMY_CONSOLE=y
 152 CONFIG_EDAC_ATOMIC_SCRUB=y
 153 CONFIG_EDAC_SUPPORT=y
 154 CONFIG_ENABLE_MUST_CHECK=y
 155 CONFIG_EXT4_FS=y
 156 CONFIG_EXT4_FS_POSIX_ACL=y
 157 CONFIG_EXT4_FS_SECURITY=y
 158 CONFIG_FB=y
 159 CONFIG_FB_BCM2708=y
 160 CONFIG_FB_CFB_COPYAREA=y
 161 CONFIG_FB_CFB_FILLRECT=y
 162 CONFIG_FB_CFB_IMAGEBLIT=y
 163 CONFIG_FB_CMDLINE=y
 164 # CONFIG_FB_RPISENSE is not set
 165 CONFIG_FIQ=y
 166 CONFIG_FIRMWARE_IN_KERNEL=y
 167 CONFIG_FIX_EARLYCON_MEM=y
 168 # CONFIG_FONTS is not set
 169 CONFIG_FONT_8x16=y
 170 CONFIG_FONT_8x8=y
 171 CONFIG_FONT_SUPPORT=y
 172 # CONFIG_FPE_FASTFPE is not set
 173 # CONFIG_FPE_NWFPE is not set
 174 CONFIG_FRAMEBUFFER_CONSOLE=y
 175 # CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY is not set
 176 # CONFIG_FRAMEBUFFER_CONSOLE_ROTATION is not set
 177 CONFIG_FREEZER=y
 178 CONFIG_FS_MBCACHE=y
 179 CONFIG_FS_POSIX_ACL=y
 180 CONFIG_GENERIC_ALLOCATOR=y
 181 CONFIG_GENERIC_BUG=y
 182 CONFIG_GENERIC_CLOCKEVENTS=y
 183 CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
 184 CONFIG_GENERIC_EARLY_IOREMAP=y
 185 CONFIG_GENERIC_IDLE_POLL_SETUP=y
 186 CONFIG_GENERIC_IO=y
 187 CONFIG_GENERIC_IRQ_SHOW=y
 188 CONFIG_GENERIC_IRQ_SHOW_LEVEL=y
 189 CONFIG_GENERIC_PCI_IOMAP=y
 190 CONFIG_GENERIC_PINCONF=y
 191 CONFIG_GENERIC_SCHED_CLOCK=y
 192 CONFIG_GENERIC_SMP_IDLE_THREAD=y
 193 CONFIG_GENERIC_STRNCPY_FROM_USER=y
 194 CONFIG_GENERIC_STRNLEN_USER=y
 195 CONFIG_GPIOLIB=y
 196 CONFIG_GPIO_BCM_EXP=y
 197 CONFIG_GPIO_BCM_VIRT=y
 198 CONFIG_GPIO_SYSFS=y
 199 CONFIG_HANDLE_DOMAIN_IRQ=y
 200 CONFIG_HARDIRQS_SW_RESEND=y
 201 CONFIG_HAS_DMA=y
 202 CONFIG_HAS_IOMEM=y
 203 CONFIG_HAS_IOPORT_MAP=y
 204 # CONFIG_HAVE_64BIT_ALIGNED_ACCESS is not set
 205 CONFIG_HAVE_ARCH_BITREVERSE=y
 206 CONFIG_HAVE_ARCH_JUMP_LABEL=y
 207 CONFIG_HAVE_ARCH_KGDB=y
 208 CONFIG_HAVE_ARCH_PFN_VALID=y
 209 CONFIG_HAVE_ARCH_TRACEHOOK=y
 210 CONFIG_HAVE_ARM_ARCH_TIMER=y
 211 CONFIG_HAVE_ARM_SMCCC=y
 212 # CONFIG_HAVE_BOOTMEM_INFO_NODE is not set
 213 CONFIG_HAVE_CBPF_JIT=y
 214 CONFIG_HAVE_CC_STACKPROTECTOR=y
 215 CONFIG_HAVE_CLK=y
 216 CONFIG_HAVE_CLK_PREPARE=y
 217 CONFIG_HAVE_CONTEXT_TRACKING=y
 218 CONFIG_HAVE_C_RECORDMCOUNT=y
 219 CONFIG_HAVE_DEBUG_KMEMLEAK=y
 220 CONFIG_HAVE_DMA_API_DEBUG=y
 221 CONFIG_HAVE_DMA_CONTIGUOUS=y
 222 CONFIG_HAVE_DYNAMIC_FTRACE=y
 223 CONFIG_HAVE_EFFICIENT_UNALIGNED_ACCESS=y
 224 CONFIG_HAVE_FTRACE_MCOUNT_RECORD=y
 225 CONFIG_HAVE_FUNCTION_GRAPH_TRACER=y
 226 CONFIG_HAVE_FUNCTION_TRACER=y
 227 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
 228 CONFIG_HAVE_IRQ_TIME_ACCOUNTING=y
 229 CONFIG_HAVE_MEMBLOCK=y
 230 CONFIG_HAVE_MOD_ARCH_SPECIFIC=y
 231 CONFIG_HAVE_NET_DSA=y
 232 CONFIG_HAVE_OPROFILE=y
 233 CONFIG_HAVE_OPTPROBES=y
 234 CONFIG_HAVE_PERF_EVENTS=y
 235 CONFIG_HAVE_PERF_REGS=y
 236 CONFIG_HAVE_PERF_USER_STACK_DUMP=y
 237 CONFIG_HAVE_PROC_CPU=y
 238 CONFIG_HAVE_REGS_AND_STACK_ACCESS_API=y
 239 CONFIG_HAVE_SMP=y
 240 CONFIG_HAVE_SYSCALL_TRACEPOINTS=y
 241 CONFIG_HAVE_UID16=y
 242 CONFIG_HAVE_VIRT_CPU_ACCOUNTING_GEN=y
 243 CONFIG_HOTPLUG_CPU=y
 244 CONFIG_HW_CONSOLE=y
 245 CONFIG_HZ_FIXED=0
 246 CONFIG_IKCONFIG=y
 247 CONFIG_IKCONFIG_PROC=y
 248 CONFIG_INPUT=y
 249 CONFIG_INPUT_MOUSEDEV=y
 250 # CONFIG_INPUT_MOUSEDEV_PSAUX is not set
 251 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
 252 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
 253 CONFIG_IOMMU_HELPER=y
 254 CONFIG_IOSCHED_CFQ=y
 255 CONFIG_IRQCHIP=y
 256 CONFIG_IRQ_DOMAIN=y
 257 CONFIG_IRQ_FORCED_THREADING=y
 258 CONFIG_IRQ_WORK=y
 259 CONFIG_JBD2=y
 260 CONFIG_KERNEL_GZIP=y
 261 # CONFIG_KERNEL_XZ is not set
 262 # CONFIG_LCD_CLASS_DEVICE is not set
 263 CONFIG_LEDS_GPIO=y
 264 CONFIG_LEDS_TRIGGER_INPUT=y
 265 CONFIG_LIBFDT=y
 266 CONFIG_LOCK_SPIN_ON_OWNER=y
 267 CONFIG_LOGO=y
 268 CONFIG_LOGO_LINUX_CLUT224=y
 269 # CONFIG_LOGO_LINUX_MONO is not set
 270 # CONFIG_LOGO_LINUX_VGA16 is not set
 271 CONFIG_LZO_COMPRESS=y
 272 CONFIG_LZO_DECOMPRESS=y
 273 CONFIG_MAC_PARTITION=y
 274 CONFIG_MAGIC_SYSRQ=y
 275 CONFIG_MAILBOX=y
 276 # CONFIG_MAILBOX_TEST is not set
 277 CONFIG_MAX_RAW_DEVS=256
 278 CONFIG_MEMORY_ISOLATION=y
 279 CONFIG_MFD_SYSCON=y
 280 CONFIG_MIGHT_HAVE_CACHE_L2X0=y
 281 CONFIG_MIGHT_HAVE_PCI=y
 282 CONFIG_MIGRATION=y
 283 CONFIG_MMC=y
 284 CONFIG_MMC_BCM2835=y
 285 CONFIG_MMC_BCM2835_DMA=y
 286 CONFIG_MMC_BCM2835_PIO_DMA_BARRIER=2
 287 CONFIG_MMC_BCM2835_SDHOST=y
 288 CONFIG_MMC_BLOCK=y
 289 CONFIG_MMC_BLOCK_MINORS=32
 290 CONFIG_MMC_SDHCI=y
 291 CONFIG_MMC_SDHCI_PLTFM=y
 292 CONFIG_MODULES_USE_ELF_REL=y
 293 # CONFIG_MTD is not set
 294 CONFIG_MULTI_IRQ_HANDLER=y
 295 CONFIG_MUTEX_SPIN_ON_OWNER=y
 296 CONFIG_NEED_DMA_MAP_STATE=y
 297 CONFIG_NEON=y
 298 CONFIG_NET_FLOW_LIMIT=y
 299 CONFIG_NLS=y
 300 CONFIG_NLS_ASCII=y
 301 CONFIG_NLS_DEFAULT="utf8"
 302 CONFIG_NO_BOOTMEM=y
 303 CONFIG_NO_HZ=y
 304 CONFIG_NO_HZ_COMMON=y
 305 CONFIG_NO_HZ_IDLE=y
 306 CONFIG_NR_CPUS=4
 307 CONFIG_OABI_COMPAT=y
 308 CONFIG_OF=y
 309 CONFIG_OF_ADDRESS=y
 310 CONFIG_OF_CONFIGFS=y
 311 CONFIG_OF_DYNAMIC=y
 312 CONFIG_OF_EARLY_FLATTREE=y
 313 CONFIG_OF_FLATTREE=y
 314 CONFIG_OF_GPIO=y
 315 CONFIG_OF_IRQ=y
 316 CONFIG_OF_NET=y
 317 CONFIG_OF_OVERLAY=y
 318 CONFIG_OF_RESERVED_MEM=y
 319 CONFIG_OF_RESOLVE=y
 320 CONFIG_OLD_SIGACTION=y
 321 CONFIG_OLD_SIGSUSPEND3=y
 322 CONFIG_PADATA=y
 323 CONFIG_PAGE_OFFSET=0x80000000
 324 # CONFIG_PCI_DOMAINS_GENERIC is not set
 325 # CONFIG_PCI_SYSCALL is not set
 326 CONFIG_PERF_USE_VMALLOC=y
 327 CONFIG_PGTABLE_LEVELS=2
 328 CONFIG_PINCTRL=y
 329 CONFIG_PINCTRL_BCM2835=y
 330 CONFIG_PM=y
 331 CONFIG_PM_CLK=y
 332 # CONFIG_PM_DEBUG is not set
 333 CONFIG_PM_GENERIC_DOMAINS=y
 334 CONFIG_PM_GENERIC_DOMAINS_OF=y
 335 CONFIG_PM_GENERIC_DOMAINS_SLEEP=y
 336 CONFIG_PM_SLEEP=y
 337 CONFIG_PM_SLEEP_SMP=y
 338 CONFIG_POWER_SUPPLY=y
 339 CONFIG_PRINTK_TIME=y
 340 CONFIG_PWM=y
 341 CONFIG_PWM_BCM2835=y
 342 CONFIG_PWM_SYSFS=y
 343 CONFIG_RASPBERRYPI_FIRMWARE=y
 344 CONFIG_RASPBERRYPI_POWER=y
 345 CONFIG_RATIONAL=y
 346 CONFIG_RAW_DRIVER=y
 347 CONFIG_RCU_STALL_COMMON=y
 348 CONFIG_REGMAP=y
 349 CONFIG_REGMAP_MMIO=y
 350 CONFIG_REGULATOR=y
 351 CONFIG_REGULATOR_FIXED_VOLTAGE=y
 352 CONFIG_RFS_ACCEL=y
 353 CONFIG_RPS=y
 354 CONFIG_RWSEM_SPIN_ON_OWNER=y
 355 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
 356 # CONFIG_SCHED_INFO is not set
 357 CONFIG_SCSI=y
 358 # CONFIG_SCSI_LOWLEVEL is not set
 359 # CONFIG_SCSI_PROC_FS is not set
 360 CONFIG_SERIAL_8250_BCM2835AUX=y
 361 # CONFIG_SERIAL_8250_DMA is not set
 362 CONFIG_SERIAL_8250_EXTENDED=y
 363 CONFIG_SERIAL_8250_FSL=y
 364 CONFIG_SERIAL_8250_NR_UARTS=1
 365 CONFIG_SERIAL_8250_RUNTIME_UARTS=0
 366 CONFIG_SERIAL_8250_SHARE_IRQ=y
 367 # CONFIG_SERIAL_AMBA_PL010 is not set
 368 CONFIG_SERIAL_AMBA_PL011=y
 369 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
 370 CONFIG_SERIAL_OF_PLATFORM=y
 371 CONFIG_SG_POOL=y
 372 CONFIG_SMP=y
 373 CONFIG_SMP_ON_UP=y
 374 CONFIG_SPARSE_IRQ=y
 375 # CONFIG_SQUASHFS is not set
 376 CONFIG_SRCU=y
 377 # CONFIG_STRIP_ASM_SYMS is not set
 378 CONFIG_SUSPEND=y
 379 CONFIG_SUSPEND_FREEZER=y
 380 CONFIG_SWIOTLB=y
 381 CONFIG_SWP_EMULATE=y
 382 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
 383 # CONFIG_TEXTSEARCH is not set
 384 CONFIG_THERMAL=y
 385 CONFIG_THERMAL_BCM2835=y
 386 CONFIG_THERMAL_DEFAULT_GOV_STEP_WISE=y
 387 CONFIG_THERMAL_GOV_STEP_WISE=y
 388 CONFIG_THERMAL_OF=y
 389 # CONFIG_THUMB2_KERNEL is not set
 390 CONFIG_TICK_CPU_ACCOUNTING=y
 391 CONFIG_TMPFS_POSIX_ACL=y
 392 CONFIG_TREE_RCU=y
 393 CONFIG_UEVENT_HELPER_PATH=""
 394 # CONFIG_UID16 is not set
 395 CONFIG_UNCOMPRESS_INCLUDE="debug/uncompress.h"
 396 CONFIG_USB=y
 397 CONFIG_USB_ANNOUNCE_NEW_DEVICES=y
 398 CONFIG_USB_COMMON=y
 399 CONFIG_USB_DWCOTG=y
 400 # CONFIG_USB_EHCI_HCD is not set
 401 CONFIG_USB_LAN78XX=y
 402 CONFIG_USB_NET_DRIVERS=y
 403 CONFIG_USB_NET_SMSC95XX=y
 404 CONFIG_USB_STORAGE=y
 405 CONFIG_USB_SUPPORT=y
 406 CONFIG_USB_UAS=y
 407 CONFIG_USB_USBNET=y
 408 CONFIG_USE_OF=y
 409 CONFIG_VECTORS_BASE=0xffff0000
 410 CONFIG_VFP=y
 411 CONFIG_VFPv3=y
 412 CONFIG_VMSPLIT_2G=y
 413 # CONFIG_VMSPLIT_3G is not set
 414 CONFIG_VT=y
 415 CONFIG_VT_CONSOLE=y
 416 CONFIG_VT_CONSOLE_SLEEP=y
 417 CONFIG_VT_HW_CONSOLE_BINDING=y
 418 CONFIG_WATCHDOG_CORE=y
 419 CONFIG_XPS=y
 420 CONFIG_XZ_DEC_ARM=y
 421 CONFIG_XZ_DEC_BCJ=y
 422 CONFIG_ZBOOT_ROM_BSS=0x0
 423 CONFIG_ZBOOT_ROM_TEXT=0x0