4 CONFIG_HIGH_RES_TIMERS=y
5 CONFIG_LOG_BUF_SHIFT=14
8 CONFIG_CGROUP_FREEZER=y
9 CONFIG_CGROUP_CPUACCT=y
10 CONFIG_RESOURCE_COUNTERS=y
12 CONFIG_RT_GROUP_SCHED=y
15 CONFIG_BLK_DEV_INITRD=y
16 CONFIG_SYSCTL_SYSCALL=y
21 # CONFIG_BLK_DEV_BSG is not set
22 # CONFIG_IOSCHED_CFQ is not set
25 # CONFIG_SWP_EMULATE is not set
26 CONFIG_ARM_ERRATA_754322=y
27 CONFIG_ARM_ERRATA_775420=y
33 # CONFIG_IOMMU_SUPPORT is not set
36 CONFIG_KERNEL_MODE_NEON=y
37 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
42 CONFIG_ZBOOT_ROM_TEXT=0x0
43 CONFIG_ZBOOT_ROM_BSS=0x0
44 CONFIG_CMDLINE="console=ttyAMA0,115200 debug earlyprintk root=/dev/ram rw rootwait"
45 #CONFIG_NET is not set
46 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
48 CONFIG_DEVTMPFS_MOUNT=y
50 CONFIG_CMA_SIZE_MBYTES=192
53 CONFIG_BLK_DEV_RAM_COUNT=1
54 CONFIG_BLK_DEV_RAM_SIZE=8192
60 CONFIG_SCSI_MULTI_LUN=y
67 # CONFIG_INPUT_MOUSE is not set
73 CONFIG_SERIAL_CORE_CONSOLE=y
75 CONFIG_SERIAL_AMBA_PL011=y
76 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
77 CONFIG_SERIAL_OF_PLATFORM=y
78 # CONFIG_LEGACY_PTYS is not set
79 # CONFIG_HW_RANDOM is not set
80 # CONFIG_HWMON is not set
81 # CONFIG_USB_SUPPORT is not set
83 CONFIG_MMC_UNSAFE_RESUME=y
84 CONFIG_MMC_BLOCK_MINORS=16
89 CONFIG_EXT4_FS_POSIX_ACL=y
90 CONFIG_EXT4_FS_SECURITY=y
95 CONFIG_FAT_DEFAULT_CODEPAGE=936
97 CONFIG_TMPFS_POSIX_ACL=y
98 #CONFIG_NFS_FS is not set
99 CONFIG_NLS_CODEPAGE_936=y
100 CONFIG_NLS_ISO8859_1=y
104 CONFIG_DEBUG_KERNEL=y
106 CONFIG_FRAME_WARN=4096
108 CONFIG_DEBUG_MEMORY_INIT=y
109 CONFIG_PANIC_TIMEOUT=5
110 # CONFIG_SCHED_DEBUG is not set
113 CONFIG_DEBUG_RT_MUTEXES=y
114 CONFIG_DEBUG_SPINLOCK=y
115 CONFIG_DEBUG_MUTEXES=y
116 CONFIG_RCU_CPU_STALL_TIMEOUT=60
117 # CONFIG_FTRACE is not set
120 # CONFIG_ARM_UNWIND is not set
121 CONFIG_DEBUG_PREEMPT=y
124 CONFIG_DYNAMIC_DEBUG=y
126 CONFIG_DEBUG_ZTE_ZX=y
127 CONFIG_EARLY_PRINTK=y