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
15 CONFIG_MODULE_UNLOAD=y
16 # CONFIG_BLK_DEV_BSG is not set
17 CONFIG_ARCH_VEXPRESS=y
18 CONFIG_ARCH_VEXPRESS_DCSCB=y
19 CONFIG_ARCH_VEXPRESS_TC2_PM=y
21 CONFIG_HAVE_ARM_ARCH_TIMER=y
27 CONFIG_ZBOOT_ROM_TEXT=0x0
28 CONFIG_ZBOOT_ROM_BSS=0x0
29 CONFIG_CMDLINE="console=ttyAMA0"
33 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
41 # CONFIG_IPV6 is not set
42 # CONFIG_WIRELESS is not set
44 CONFIG_NET_9P_VIRTIO=y
48 CONFIG_MTD_CMDLINE_PARTS=y
51 CONFIG_MTD_CFI_INTELEXT=y
52 CONFIG_MTD_CFI_AMDSTD=y
54 CONFIG_MTD_PHYSMAP_OF=y
58 # CONFIG_SCSI_PROC_FS is not set
62 # CONFIG_SATA_PMP is not set
67 # CONFIG_WLAN is not set
69 # CONFIG_SERIO_SERPORT is not set
70 CONFIG_SERIO_AMBAKMI=y
71 CONFIG_LEGACY_PTY_COUNT=16
72 CONFIG_SERIAL_AMBA_PL011=y
73 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
74 CONFIG_VIRTIO_CONSOLE=y
76 CONFIG_HW_RANDOM_VIRTIO=y
77 CONFIG_I2C_VERSATILE=y
78 CONFIG_SENSORS_VEXPRESS=y
79 CONFIG_REGULATOR_VEXPRESS=y
81 CONFIG_DRM_PANEL_SIMPLE=y
84 CONFIG_FB_MODE_HELPERS=y
85 CONFIG_BACKLIGHT_CLASS_DEVICE=y
87 # CONFIG_LOGO_LINUX_MONO is not set
88 # CONFIG_LOGO_LINUX_VGA16 is not set
91 # CONFIG_SND_DRIVERS is not set
93 CONFIG_HID_DRAGONRISE=y
97 CONFIG_HID_PANTHERLORD=y
102 CONFIG_HID_GREENASIA=y
103 CONFIG_HID_SMARTJOYPLUS=y
105 CONFIG_HID_THRUSTMASTER=y
106 CONFIG_HID_ZEROPLUS=y
108 CONFIG_USB_ANNOUNCE_NEW_DEVICES=y
117 CONFIG_LEDS_TRIGGERS=y
118 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
119 CONFIG_LEDS_TRIGGER_CPU=y
121 CONFIG_RTC_DRV_PL031=y
122 CONFIG_VIRTIO_BALLOON=y
124 CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES=y
133 CONFIG_SQUASHFS_LZO=y
137 CONFIG_NLS_CODEPAGE_437=y
138 CONFIG_NLS_ISO8859_1=y
141 CONFIG_DEBUG_KERNEL=y
142 CONFIG_DETECT_HUNG_TASK=y
143 # CONFIG_SCHED_DEBUG is not set
145 # CONFIG_CRYPTO_HW is not set