1 # CONFIG_LOCALVERSION_AUTO is not set
2 # CONFIG_64BIT is not set
3 CONFIG_DEFAULT_HOSTNAME="common_box"
7 CONFIG_HIGH_RES_TIMERS=y
10 CONFIG_CGROUP_FREEZER=y
11 CONFIG_CGROUP_DEVICE=y
13 CONFIG_CGROUP_CPUACCT=y
14 CONFIG_RESOURCE_COUNTERS=y
17 # CONFIG_MEMCG_SWAP_ENABLED is not set
20 CONFIG_CFS_BANDWIDTH=y
21 CONFIG_RT_GROUP_SCHED=y
25 CONFIG_SCHED_AUTOGROUP=y
26 CONFIG_BLK_DEV_INITRD=y
32 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
34 # CONFIG_SLUB_DEBUG is not set
38 CONFIG_MODULE_UNLOAD=y
39 CONFIG_MODULE_FORCE_UNLOAD=y
40 CONFIG_BLK_DEV_THROTTLING=y
41 CONFIG_PARTITION_ADVANCED=y
42 CONFIG_BSD_DISKLABEL=y
43 CONFIG_MINIX_SUBPARTITION=y
44 CONFIG_SOLARIS_X86_PARTITION=y
45 CONFIG_UNIXWARE_DISKLABEL=y
46 CONFIG_LDM_PARTITION=y
47 CONFIG_SGI_PARTITION=y
48 CONFIG_SUN_PARTITION=y
49 CONFIG_KARMA_PARTITION=y
50 CONFIG_IOSCHED_DEADLINE=m
51 CONFIG_CFQ_GROUP_IOSCHED=y
53 CONFIG_ARCH_VEXPRESS=y
54 CONFIG_ARCH_VEXPRESS_CA9X4=y
55 CONFIG_ARCH_VEXPRESS_DCSCB=y
56 CONFIG_ARCH_VEXPRESS_TC2_PM=y
57 # CONFIG_SWP_EMULATE is not set
60 CONFIG_HAVE_ARM_ARCH_TIMER=y
69 CONFIG_ZBOOT_ROM_TEXT=0x0
70 CONFIG_ZBOOT_ROM_BSS=0x0
71 CONFIG_CMDLINE="console=ttyAMA0"
73 CONFIG_CPU_IDLE_MULTIPLE_DRIVERS=y
76 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
84 # CONFIG_INET_LRO is not set
86 # CONFIG_WIRELESS is not set
88 CONFIG_NET_9P_VIRTIO=y
90 # CONFIG_FW_LOADER_USER_HELPER is not set
92 CONFIG_MTD_CMDLINE_PARTS=y
95 CONFIG_MTD_CFI_INTELEXT=y
96 CONFIG_MTD_CFI_AMDSTD=y
98 CONFIG_MTD_PHYSMAP_OF=y
101 CONFIG_PROC_DEVICETREE=y
103 # CONFIG_SCSI_PROC_FS is not set
107 # CONFIG_SATA_PMP is not set
112 # CONFIG_WLAN is not set
114 # CONFIG_SERIO_SERPORT is not set
115 CONFIG_SERIO_AMBAKMI=y
116 CONFIG_LEGACY_PTY_COUNT=16
117 CONFIG_SERIAL_AMBA_PL011=y
118 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
119 CONFIG_VIRTIO_CONSOLE=y
121 CONFIG_HW_RANDOM_VIRTIO=y
123 CONFIG_I2C_VERSATILE=y
124 CONFIG_SENSORS_VEXPRESS=y
126 CONFIG_REGULATOR_VEXPRESS=y
129 CONFIG_FRAMEBUFFER_CONSOLE=y
131 # CONFIG_LOGO_LINUX_MONO is not set
132 # CONFIG_LOGO_LINUX_VGA16 is not set
135 CONFIG_SND_MIXER_OSS=y
137 # CONFIG_SND_DRIVERS is not set
139 CONFIG_HID_DRAGONRISE=y
140 CONFIG_HID_GYRATION=y
143 CONFIG_HID_PANTHERLORD=y
144 CONFIG_HID_PETALYNX=y
148 CONFIG_HID_GREENASIA=y
149 CONFIG_HID_SMARTJOYPLUS=y
151 CONFIG_HID_THRUSTMASTER=y
152 CONFIG_HID_ZEROPLUS=y
154 CONFIG_USB_ANNOUNCE_NEW_DEVICES=y
156 CONFIG_USB_ISP1760_HCD=y
163 CONFIG_LEDS_TRIGGERS=y
164 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
165 CONFIG_LEDS_TRIGGER_CPU=y
167 CONFIG_RTC_DRV_PL031=y
168 CONFIG_VIRTIO_BALLOON=y
170 CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES=y
173 # CONFIG_EXT3_DEFAULTS_TO_ORDERED is not set
174 # CONFIG_EXT3_FS_XATTR is not set
176 CONFIG_EXT4_FS_POSIX_ACL=y
181 CONFIG_TMPFS_POSIX_ACL=y
186 CONFIG_SQUASHFS_LZO=y
190 CONFIG_NLS_CODEPAGE_437=y
191 CONFIG_NLS_ISO8859_1=y
195 CONFIG_DETECT_HUNG_TASK=y
196 # CONFIG_SCHED_DEBUG is not set
200 CONFIG_SECURITY_SMACK=y
201 # CONFIG_CRYPTO_ANSI_CPRNG is not set
202 # CONFIG_CRYPTO_HW is not set