1 # CONFIG_LOCALVERSION_AUTO is not set
5 CONFIG_LOG_BUF_SHIFT=14
8 # CONFIG_UTS_NS is not set
9 # CONFIG_IPC_NS is not set
10 # CONFIG_PID_NS is not set
11 # CONFIG_NET_NS is not set
12 CONFIG_BLK_DEV_INITRD=y
14 CONFIG_ARCH_VEXPRESS=y
15 CONFIG_ARCH_VEXPRESS_DCSCB=y
16 CONFIG_ARCH_VEXPRESS_TC2_PM=y
18 CONFIG_HAVE_ARM_ARCH_TIMER=y
23 CONFIG_CMDLINE="console=ttyAMA0"
28 CONFIG_MODULE_UNLOAD=y
29 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
38 # CONFIG_IPV6 is not set
39 # CONFIG_WIRELESS is not set
41 CONFIG_NET_9P_VIRTIO=y
44 CONFIG_MTD_CMDLINE_PARTS=y
47 CONFIG_MTD_CFI_INTELEXT=y
48 CONFIG_MTD_CFI_AMDSTD=y
50 CONFIG_MTD_PHYSMAP_OF=y
54 # CONFIG_SCSI_PROC_FS is not set
56 # CONFIG_BLK_DEV_BSG is not set
63 # CONFIG_WLAN is not set
65 # CONFIG_SERIO_SERPORT is not set
66 CONFIG_SERIO_AMBAKMI=y
67 CONFIG_LEGACY_PTY_COUNT=16
68 CONFIG_SERIAL_AMBA_PL011=y
69 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
70 CONFIG_VIRTIO_CONSOLE=y
72 CONFIG_HW_RANDOM_VIRTIO=y
73 CONFIG_I2C_VERSATILE=y
74 CONFIG_SENSORS_VEXPRESS=y
75 CONFIG_REGULATOR_VEXPRESS=y
77 CONFIG_DRM_PANEL_SIMPLE=y
78 CONFIG_DRM_PANEL_EDP=y
82 CONFIG_BACKLIGHT_CLASS_DEVICE=y
86 # CONFIG_SND_DRIVERS is not set
88 CONFIG_HID_DRAGONRISE=y
92 CONFIG_HID_PANTHERLORD=y
97 CONFIG_HID_GREENASIA=y
98 CONFIG_HID_SMARTJOYPLUS=y
100 CONFIG_HID_THRUSTMASTER=y
101 CONFIG_HID_ZEROPLUS=y
103 CONFIG_USB_ANNOUNCE_NEW_DEVICES=y
112 CONFIG_LEDS_TRIGGERS=y
113 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
114 CONFIG_LEDS_TRIGGER_CPU=y
116 CONFIG_RTC_DRV_PL031=y
117 CONFIG_VIRTIO_BALLOON=y
119 CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES=y
128 CONFIG_SQUASHFS_LZO=y
132 CONFIG_NLS_CODEPAGE_437=y
133 CONFIG_NLS_ISO8859_1=y
134 # CONFIG_CRYPTO_HW is not set
136 CONFIG_DEBUG_KERNEL=y
137 CONFIG_DEBUG_INFO_DWARF_TOOLCHAIN_DEFAULT=y
139 CONFIG_DETECT_HUNG_TASK=y
140 # CONFIG_SCHED_DEBUG is not set