4 CONFIG_HIGH_RES_TIMERS=y
5 CONFIG_LOG_BUF_SHIFT=14
8 CONFIG_CGROUP_FREEZER=y
9 CONFIG_CGROUP_CPUACCT=y
11 CONFIG_RT_GROUP_SCHED=y
14 CONFIG_BLK_DEV_INITRD=y
15 CONFIG_SYSCTL_SYSCALL=y
20 # CONFIG_BLK_DEV_BSG is not set
21 # CONFIG_IOSCHED_CFQ is not set
24 # CONFIG_SWP_EMULATE is not set
25 CONFIG_ARM_ERRATA_754322=y
26 CONFIG_ARM_ERRATA_775420=y
32 # CONFIG_IOMMU_SUPPORT is not set
35 CONFIG_KERNEL_MODE_NEON=y
36 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
41 CONFIG_ZBOOT_ROM_TEXT=0x0
42 CONFIG_ZBOOT_ROM_BSS=0x0
43 CONFIG_CMDLINE="console=ttyAMA0,115200 debug earlyprintk root=/dev/ram rw rootwait"
44 #CONFIG_NET is not set
45 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
47 CONFIG_DEVTMPFS_MOUNT=y
49 CONFIG_CMA_SIZE_MBYTES=192
52 CONFIG_BLK_DEV_RAM_COUNT=1
53 CONFIG_BLK_DEV_RAM_SIZE=8192
59 CONFIG_SCSI_MULTI_LUN=y
66 # CONFIG_INPUT_MOUSE is not set
72 CONFIG_SERIAL_CORE_CONSOLE=y
74 CONFIG_SERIAL_AMBA_PL011=y
75 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
76 CONFIG_SERIAL_OF_PLATFORM=y
77 # CONFIG_LEGACY_PTYS is not set
78 # CONFIG_HW_RANDOM is not set
79 # CONFIG_HWMON is not set
80 # CONFIG_USB_SUPPORT is not set
82 CONFIG_MMC_UNSAFE_RESUME=y
83 CONFIG_MMC_BLOCK_MINORS=16
87 CONFIG_EXT4_FS_POSIX_ACL=y
88 CONFIG_EXT4_FS_SECURITY=y
93 CONFIG_FAT_DEFAULT_CODEPAGE=936
95 CONFIG_TMPFS_POSIX_ACL=y
96 #CONFIG_NFS_FS is not set
97 CONFIG_NLS_CODEPAGE_936=y
98 CONFIG_NLS_ISO8859_1=y
102 CONFIG_DEBUG_KERNEL=y
104 CONFIG_FRAME_WARN=4096
106 CONFIG_DEBUG_MEMORY_INIT=y
107 CONFIG_PANIC_TIMEOUT=5
108 # CONFIG_SCHED_DEBUG is not set
111 CONFIG_DEBUG_RT_MUTEXES=y
112 CONFIG_DEBUG_SPINLOCK=y
113 CONFIG_DEBUG_MUTEXES=y
114 CONFIG_RCU_CPU_STALL_TIMEOUT=60
115 # CONFIG_FTRACE is not set
118 # CONFIG_ARM_UNWIND is not set
119 CONFIG_DEBUG_PREEMPT=y
122 CONFIG_DYNAMIC_DEBUG=y
124 CONFIG_DEBUG_ZTE_ZX=y
125 CONFIG_EARLY_PRINTK=y