1CONFIG_SYSVIPC=y
2CONFIG_NO_HZ=y
3CONFIG_HIGH_RES_TIMERS=y
4CONFIG_CGROUPS=y
5CONFIG_BLK_DEV_INITRD=y
6CONFIG_EMBEDDED=y
7CONFIG_PERF_EVENTS=y
8CONFIG_ARCH_MILBEAUT=y
9CONFIG_ARCH_MILBEAUT_M10V=y
10CONFIG_ARM_THUMBEE=y
11# CONFIG_VDSO is not set
12# CONFIG_CACHE_L2X0 is not set
13CONFIG_ARM_ERRATA_430973=y
14CONFIG_ARM_ERRATA_720789=y
15CONFIG_ARM_ERRATA_754322=y
16CONFIG_ARM_ERRATA_754327=y
17CONFIG_ARM_ERRATA_764369=y
18CONFIG_ARM_ERRATA_775420=y
19CONFIG_ARM_ERRATA_798181=y
20CONFIG_SMP=y
21# CONFIG_SMP_ON_UP is not set
22# CONFIG_ARM_CPU_TOPOLOGY is not set
23CONFIG_HAVE_ARM_ARCH_TIMER=y
24CONFIG_NR_CPUS=16
25CONFIG_THUMB2_KERNEL=y
26# CONFIG_THUMB2_AVOID_R_ARM_THM_JUMP11 is not set
27# CONFIG_ARM_PATCH_IDIV is not set
28CONFIG_HIGHMEM=y
29CONFIG_FORCE_MAX_ZONEORDER=12
30CONFIG_SECCOMP=y
31CONFIG_KEXEC=y
32CONFIG_EFI=y
33CONFIG_CPU_FREQ=y
34CONFIG_CPU_FREQ_STAT=y
35CONFIG_CPU_FREQ_DEFAULT_GOV_ONDEMAND=y
36CONFIG_CPU_FREQ_GOV_POWERSAVE=m
37CONFIG_CPU_FREQ_GOV_USERSPACE=m
38CONFIG_CPU_FREQ_GOV_CONSERVATIVE=m
39CONFIG_CPU_FREQ_GOV_SCHEDUTIL=y
40CONFIG_CPUFREQ_DT=y
41CONFIG_QORIQ_CPUFREQ=y
42CONFIG_CPU_IDLE=y
43CONFIG_ARM_CPUIDLE=y
44CONFIG_VFP=y
45CONFIG_NEON=y
46CONFIG_KERNEL_MODE_NEON=y
47CONFIG_EFI_VARS=m
48CONFIG_ARM_CRYPTO=y
49CONFIG_CRYPTO_SHA1_ARM_NEON=m
50CONFIG_CRYPTO_SHA1_ARM_CE=m
51CONFIG_CRYPTO_SHA2_ARM_CE=m
52CONFIG_CRYPTO_SHA512_ARM=m
53CONFIG_CRYPTO_AES_ARM=m
54CONFIG_CRYPTO_AES_ARM_BS=m
55CONFIG_CRYPTO_AES_ARM_CE=m
56CONFIG_CRYPTO_GHASH_ARM_CE=m
57CONFIG_CRYPTO_CRC32_ARM_CE=m
58CONFIG_CRYPTO_CHACHA20_NEON=m
59CONFIG_MODULES=y
60CONFIG_MODULE_UNLOAD=y
61CONFIG_PARTITION_ADVANCED=y
62CONFIG_CMDLINE_PARTITION=y
63CONFIG_CMA=y
64CONFIG_DEVTMPFS=y
65CONFIG_DEVTMPFS_MOUNT=y
66CONFIG_EFI_CAPSULE_LOADER=m
67CONFIG_OF_OVERLAY=y
68CONFIG_BLK_DEV_LOOP=y
69CONFIG_BLK_DEV_RAM=y
70CONFIG_BLK_DEV_RAM_SIZE=65536
71CONFIG_SRAM=y
72CONFIG_INPUT_FF_MEMLESS=m
73CONFIG_INPUT_MATRIXKMAP=y
74# CONFIG_INPUT_KEYBOARD is not set
75# CONFIG_INPUT_MOUSE is not set
76CONFIG_SERIO_LIBPS2=y
77CONFIG_VT_HW_CONSOLE_BINDING=y
78CONFIG_SERIAL_DEV_BUS=y
79# CONFIG_HW_RANDOM is not set
80CONFIG_GPIOLIB=y
81CONFIG_GPIO_GENERIC_PLATFORM=y
82# CONFIG_HWMON is not set
83CONFIG_MEDIA_SUPPORT=m
84CONFIG_MEDIA_CAMERA_SUPPORT=y
85CONFIG_MEDIA_CONTROLLER=y
86# CONFIG_MEDIA_SUBDRV_AUTOSELECT is not set
87# CONFIG_HID is not set
88# CONFIG_USB_SUPPORT is not set
89CONFIG_SYNC_FILE=y
90# CONFIG_VIRTIO_MENU is not set
91# CONFIG_IOMMU_SUPPORT is not set
92CONFIG_SOC_BRCMSTB=y
93CONFIG_MEMORY=y
94# CONFIG_ARM_PMU is not set
95CONFIG_EXT4_FS=y
96CONFIG_AUTOFS4_FS=y
97CONFIG_MSDOS_FS=y
98CONFIG_VFAT_FS=y
99CONFIG_NTFS_FS=y
100CONFIG_TMPFS=y
101CONFIG_TMPFS_POSIX_ACL=y
102CONFIG_CONFIGFS_FS=y
103# CONFIG_MISC_FILESYSTEMS is not set
104CONFIG_NLS_CODEPAGE_437=y
105CONFIG_NLS_ISO8859_1=y
106CONFIG_NLS_UTF8=y
107CONFIG_KEYS=y
108CONFIG_CRYPTO_MANAGER=y
109# CONFIG_CRYPTO_MANAGER_DISABLE_TESTS is not set
110CONFIG_CRYPTO_SEQIV=m
111# CONFIG_CRYPTO_ECHAINIV is not set
112CONFIG_CRYPTO_AES=y
113# CONFIG_CRYPTO_HW is not set
114CONFIG_CRC_CCITT=m
115CONFIG_CRC_ITU_T=m
116CONFIG_DMA_CMA=y
117CONFIG_CMA_SIZE_MBYTES=64
118CONFIG_PRINTK_TIME=y
119CONFIG_MAGIC_SYSRQ=y
120