1 # CONFIG_LOCALVERSION_AUTO is not set
4 CONFIG_HIGH_RES_TIMERS=y
7 CONFIG_LOG_BUF_SHIFT=14
10 # CONFIG_UTS_NS is not set
11 # CONFIG_IPC_NS is not set
12 # CONFIG_PID_NS is not set
13 # CONFIG_NET_NS is not set
14 CONFIG_BLK_DEV_INITRD=y
16 CONFIG_ARCH_VEXPRESS=y
17 CONFIG_ARCH_VEXPRESS_TC2_PM=y
19 CONFIG_HAVE_ARM_ARCH_TIMER=y
24 CONFIG_CMDLINE="console=ttyAMA0"
29 CONFIG_MODULE_UNLOAD=y
30 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
39 # CONFIG_IPV6 is not set
40 # CONFIG_WIRELESS is not set
42 CONFIG_NET_9P_VIRTIO=y
45 CONFIG_MTD_CMDLINE_PARTS=y
46 CONFIG_MTD_AFS_PARTS=y
49 CONFIG_MTD_CFI_INTELEXT=y
50 CONFIG_MTD_CFI_AMDSTD=y
52 CONFIG_MTD_PHYSMAP_OF=y
56 # CONFIG_SCSI_PROC_FS is not set
58 # CONFIG_BLK_DEV_BSG is not set
65 # CONFIG_WLAN is not set
67 # CONFIG_SERIO_SERPORT is not set
68 CONFIG_SERIO_AMBAKMI=y
69 CONFIG_LEGACY_PTY_COUNT=16
70 CONFIG_SERIAL_AMBA_PL011=y
71 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
72 CONFIG_VIRTIO_CONSOLE=y
74 CONFIG_HW_RANDOM_VIRTIO=y
75 CONFIG_I2C_VERSATILE=y
76 CONFIG_SENSORS_VEXPRESS=y
77 CONFIG_REGULATOR_VEXPRESS=y
79 CONFIG_DRM_PANEL_SIMPLE=y
80 CONFIG_DRM_PANEL_EDP=y
84 CONFIG_BACKLIGHT_CLASS_DEVICE=y
88 # CONFIG_SND_DRIVERS is not set
90 CONFIG_HID_DRAGONRISE=y
94 CONFIG_HID_PANTHERLORD=y
99 CONFIG_HID_GREENASIA=y
100 CONFIG_HID_SMARTJOYPLUS=y
102 CONFIG_HID_THRUSTMASTER=y
103 CONFIG_HID_ZEROPLUS=y
105 CONFIG_USB_ANNOUNCE_NEW_DEVICES=y
114 CONFIG_LEDS_TRIGGERS=y
115 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
116 CONFIG_LEDS_TRIGGER_CPU=y
118 CONFIG_RTC_DRV_PL031=y
119 CONFIG_VIRTIO_BALLOON=y
121 CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES=y
130 CONFIG_SQUASHFS_LZO=y
134 CONFIG_NLS_CODEPAGE_437=y
135 CONFIG_NLS_ISO8859_1=y
136 # CONFIG_CRYPTO_HW is not set
138 CONFIG_DEBUG_KERNEL=y
139 CONFIG_DEBUG_INFO_DWARF_TOOLCHAIN_DEFAULT=y
141 CONFIG_DETECT_HUNG_TASK=y