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
44 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
46 CONFIG_DEVTMPFS_MOUNT=y
48 CONFIG_CMA_SIZE_MBYTES=192
51 CONFIG_BLK_DEV_RAM_COUNT=1
52 CONFIG_BLK_DEV_RAM_SIZE=8192
58 CONFIG_SCSI_MULTI_LUN=y
65 # CONFIG_INPUT_MOUSE is not set
71 CONFIG_SERIAL_CORE_CONSOLE=y
73 CONFIG_SERIAL_AMBA_PL011=y
74 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
75 CONFIG_SERIAL_OF_PLATFORM=y
76 # CONFIG_LEGACY_PTYS is not set
77 # CONFIG_HW_RANDOM is not set
78 # CONFIG_HWMON is not set
79 # CONFIG_USB_SUPPORT is not set
81 CONFIG_MMC_BLOCK_MINORS=16
85 CONFIG_EXT4_FS_POSIX_ACL=y
86 CONFIG_EXT4_FS_SECURITY=y
91 CONFIG_FAT_DEFAULT_CODEPAGE=936
93 CONFIG_TMPFS_POSIX_ACL=y
94 #CONFIG_NFS_FS is not set
95 CONFIG_NLS_CODEPAGE_936=y
96 CONFIG_NLS_ISO8859_1=y
100 CONFIG_DEBUG_KERNEL=y
102 CONFIG_FRAME_WARN=4096
104 CONFIG_DEBUG_MEMORY_INIT=y
105 CONFIG_PANIC_TIMEOUT=5
106 # CONFIG_SCHED_DEBUG is not set
109 CONFIG_DEBUG_RT_MUTEXES=y
110 CONFIG_DEBUG_SPINLOCK=y
111 CONFIG_DEBUG_MUTEXES=y
112 CONFIG_RCU_CPU_STALL_TIMEOUT=60
113 # CONFIG_FTRACE is not set
116 # CONFIG_ARM_UNWIND is not set
117 CONFIG_DEBUG_PREEMPT=y
120 CONFIG_DYNAMIC_DEBUG=y
122 CONFIG_DEBUG_ZTE_ZX=y
123 CONFIG_EARLY_PRINTK=y