3 CONFIG_HIGH_RES_TIMERS=y
4 CONFIG_LOG_BUF_SHIFT=14
7 CONFIG_CGROUP_FREEZER=y
8 CONFIG_CGROUP_CPUACCT=y
10 CONFIG_RT_GROUP_SCHED=y
13 CONFIG_BLK_DEV_INITRD=y
14 CONFIG_SYSCTL_SYSCALL=y
19 # CONFIG_BLK_DEV_BSG is not set
20 # CONFIG_IOSCHED_CFQ is not set
23 # CONFIG_SWP_EMULATE is not set
24 CONFIG_ARM_ERRATA_754322=y
25 CONFIG_ARM_ERRATA_775420=y
31 # CONFIG_IOMMU_SUPPORT is not set
34 CONFIG_KERNEL_MODE_NEON=y
35 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
40 CONFIG_ZBOOT_ROM_TEXT=0x0
41 CONFIG_ZBOOT_ROM_BSS=0x0
42 CONFIG_CMDLINE="console=ttyAMA0,115200 debug earlyprintk root=/dev/ram rw rootwait"
43 #CONFIG_NET is not set
45 CONFIG_DEVTMPFS_MOUNT=y
47 CONFIG_CMA_SIZE_MBYTES=192
50 CONFIG_BLK_DEV_RAM_COUNT=1
51 CONFIG_BLK_DEV_RAM_SIZE=8192
57 CONFIG_SCSI_MULTI_LUN=y
64 # CONFIG_INPUT_MOUSE is not set
70 CONFIG_SERIAL_CORE_CONSOLE=y
72 CONFIG_SERIAL_AMBA_PL011=y
73 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
74 CONFIG_SERIAL_OF_PLATFORM=y
75 # CONFIG_LEGACY_PTYS is not set
76 # CONFIG_HW_RANDOM is not set
77 # CONFIG_HWMON is not set
78 # CONFIG_USB_SUPPORT is not set
80 CONFIG_MMC_BLOCK_MINORS=16
84 CONFIG_EXT4_FS_POSIX_ACL=y
85 CONFIG_EXT4_FS_SECURITY=y
90 CONFIG_FAT_DEFAULT_CODEPAGE=936
92 CONFIG_TMPFS_POSIX_ACL=y
93 #CONFIG_NFS_FS is not set
94 CONFIG_NLS_CODEPAGE_936=y
95 CONFIG_NLS_ISO8859_1=y
101 CONFIG_FRAME_WARN=4096
103 CONFIG_DEBUG_MEMORY_INIT=y
104 CONFIG_PANIC_TIMEOUT=5
105 # CONFIG_SCHED_DEBUG is not set
108 CONFIG_DEBUG_RT_MUTEXES=y
109 CONFIG_DEBUG_SPINLOCK=y
110 CONFIG_DEBUG_MUTEXES=y
111 CONFIG_RCU_CPU_STALL_TIMEOUT=60
112 # CONFIG_FTRACE is not set
115 # CONFIG_ARM_UNWIND is not set
116 CONFIG_DEBUG_PREEMPT=y
119 CONFIG_DYNAMIC_DEBUG=y
121 CONFIG_DEBUG_ZTE_ZX=y
122 CONFIG_EARLY_PRINTK=y