1 # CONFIG_LOCALVERSION_AUTO is not set
5 CONFIG_HIGH_RES_TIMERS=y
6 CONFIG_BSD_PROCESS_ACCT=y
7 CONFIG_BSD_PROCESS_ACCT_V3=y
8 CONFIG_LOG_BUF_SHIFT=18
9 CONFIG_CGROUP_FREEZER=y
10 CONFIG_CGROUP_DEVICE=y
12 CONFIG_CGROUP_CPUACCT=y
13 CONFIG_RESOURCE_COUNTERS=y
15 CONFIG_CFS_BANDWIDTH=y
16 CONFIG_RT_GROUP_SCHED=y
18 CONFIG_SCHED_AUTOGROUP=y
20 CONFIG_BLK_DEV_INITRD=y
25 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
28 # CONFIG_COMPAT_BRK is not set
32 CONFIG_ARCH_MULTI_V6=y
33 # CONFIG_ARCH_MULTI_V7 is not set
35 CONFIG_PREEMPT_VOLUNTARY=y
40 CONFIG_CC_STACKPROTECTOR=y
44 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
45 # CONFIG_SUSPEND is not set
49 CONFIG_NETWORK_SECMARK=y
50 # CONFIG_WIRELESS is not set
52 CONFIG_DEVTMPFS_MOUNT=y
53 # CONFIG_STANDALONE is not set
54 # CONFIG_INPUT_MOUSEDEV is not set
55 # CONFIG_INPUT_KEYBOARD is not set
56 # CONFIG_INPUT_MOUSE is not set
57 # CONFIG_SERIO is not set
58 # CONFIG_VT is not set
59 # CONFIG_LEGACY_PTYS is not set
60 # CONFIG_DEVKMEM is not set
61 CONFIG_SERIAL_AMBA_PL011=y
62 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
65 CONFIG_HW_RANDOM_BCM2835=y
72 # CONFIG_HWMON is not set
73 # CONFIG_USB_SUPPORT is not set
76 CONFIG_MMC_SDHCI_PLTFM=y
77 CONFIG_MMC_SDHCI_BCM2835=y
78 # CONFIG_IOMMU_SUPPORT is not set
80 CONFIG_EXT2_FS_XATTR=y
81 CONFIG_EXT2_FS_POSIX_ACL=y
83 CONFIG_EXT3_FS_POSIX_ACL=y
85 CONFIG_EXT4_FS_POSIX_ACL=y
90 CONFIG_TMPFS_POSIX_ACL=y
91 # CONFIG_MISC_FILESYSTEMS is not set
94 CONFIG_NLS_CODEPAGE_437=y
96 CONFIG_NLS_ISO8859_1=y
99 # CONFIG_ENABLE_WARN_DEPRECATED is not set
100 # CONFIG_ENABLE_MUST_CHECK is not set
101 CONFIG_UNUSED_SYMBOLS=y
102 CONFIG_LOCKUP_DETECTOR=y
104 CONFIG_DEBUG_MEMORY_INIT=y
105 CONFIG_BOOT_PRINTK_DELAY=y
106 CONFIG_SCHED_TRACER=y
107 CONFIG_STACK_TRACER=y
108 CONFIG_FUNCTION_PROFILER=y
109 CONFIG_DYNAMIC_DEBUG=y
112 CONFIG_TEST_KSTRTOX=y
113 CONFIG_STRICT_DEVMEM=y
115 CONFIG_EARLY_PRINTK=y
116 # CONFIG_XZ_DEC_ARM is not set
117 # CONFIG_XZ_DEC_ARMTHUMB is not set