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
33 CONFIG_PREEMPT_VOLUNTARY=y
38 CONFIG_CC_STACKPROTECTOR=y
42 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
43 # CONFIG_SUSPEND is not set
47 CONFIG_NETWORK_SECMARK=y
48 # CONFIG_WIRELESS is not set
50 CONFIG_DEVTMPFS_MOUNT=y
51 # CONFIG_STANDALONE is not set
52 # CONFIG_INPUT_MOUSEDEV is not set
53 # CONFIG_INPUT_KEYBOARD is not set
54 # CONFIG_INPUT_MOUSE is not set
55 # CONFIG_SERIO is not set
56 # CONFIG_VT is not set
57 # CONFIG_LEGACY_PTYS is not set
58 # CONFIG_DEVKMEM is not set
59 CONFIG_SERIAL_AMBA_PL011=y
60 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
63 CONFIG_HW_RANDOM_BCM2835=y
70 # CONFIG_HWMON is not set
71 # CONFIG_USB_SUPPORT is not set
74 CONFIG_MMC_SDHCI_PLTFM=y
75 CONFIG_MMC_SDHCI_BCM2835=y
76 # CONFIG_IOMMU_SUPPORT is not set
78 CONFIG_EXT2_FS_XATTR=y
79 CONFIG_EXT2_FS_POSIX_ACL=y
81 CONFIG_EXT3_FS_POSIX_ACL=y
83 CONFIG_EXT4_FS_POSIX_ACL=y
88 CONFIG_TMPFS_POSIX_ACL=y
89 # CONFIG_MISC_FILESYSTEMS is not set
92 CONFIG_NLS_CODEPAGE_437=y
94 CONFIG_NLS_ISO8859_1=y
97 # CONFIG_ENABLE_WARN_DEPRECATED is not set
98 # CONFIG_ENABLE_MUST_CHECK is not set
99 CONFIG_UNUSED_SYMBOLS=y
100 CONFIG_LOCKUP_DETECTOR=y
102 CONFIG_DEBUG_MEMORY_INIT=y
103 CONFIG_BOOT_PRINTK_DELAY=y
104 CONFIG_SCHED_TRACER=y
105 CONFIG_STACK_TRACER=y
106 CONFIG_FUNCTION_PROFILER=y
107 CONFIG_DYNAMIC_DEBUG=y
110 CONFIG_TEST_KSTRTOX=y
111 CONFIG_STRICT_DEVMEM=y
113 CONFIG_EARLY_PRINTK=y
114 # CONFIG_XZ_DEC_ARM is not set
115 # CONFIG_XZ_DEC_ARMTHUMB is not set