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
16 CONFIG_MODULE_UNLOAD=y
17 # CONFIG_BLK_DEV_BSG is not set
18 CONFIG_ARCH_VEXPRESS=y
19 CONFIG_ARCH_VEXPRESS_DCSCB=y
20 CONFIG_ARCH_VEXPRESS_TC2_PM=y
22 CONFIG_HAVE_ARM_ARCH_TIMER=y
28 CONFIG_ZBOOT_ROM_TEXT=0x0
29 CONFIG_ZBOOT_ROM_BSS=0x0
30 CONFIG_CMDLINE="console=ttyAMA0"
34 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
42 # CONFIG_IPV6 is not set
43 # CONFIG_WIRELESS is not set
45 CONFIG_NET_9P_VIRTIO=y
49 CONFIG_MTD_CMDLINE_PARTS=y
52 CONFIG_MTD_CFI_INTELEXT=y
53 CONFIG_MTD_CFI_AMDSTD=y
55 CONFIG_MTD_PHYSMAP_OF=y
59 # CONFIG_SCSI_PROC_FS is not set
63 # CONFIG_SATA_PMP is not set
68 # CONFIG_WLAN is not set
70 # CONFIG_SERIO_SERPORT is not set
71 CONFIG_SERIO_AMBAKMI=y
72 CONFIG_LEGACY_PTY_COUNT=16
73 CONFIG_SERIAL_AMBA_PL011=y
74 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
75 CONFIG_VIRTIO_CONSOLE=y
77 CONFIG_HW_RANDOM_VIRTIO=y
78 CONFIG_I2C_VERSATILE=y
79 CONFIG_SENSORS_VEXPRESS=y
80 CONFIG_REGULATOR_VEXPRESS=y
82 CONFIG_DRM_PANEL_SIMPLE=y
85 CONFIG_FB_MODE_HELPERS=y
86 CONFIG_BACKLIGHT_CLASS_DEVICE=y
88 # CONFIG_LOGO_LINUX_MONO is not set
89 # CONFIG_LOGO_LINUX_VGA16 is not set
92 # CONFIG_SND_DRIVERS is not set
94 CONFIG_HID_DRAGONRISE=y
98 CONFIG_HID_PANTHERLORD=y
103 CONFIG_HID_GREENASIA=y
104 CONFIG_HID_SMARTJOYPLUS=y
106 CONFIG_HID_THRUSTMASTER=y
107 CONFIG_HID_ZEROPLUS=y
109 CONFIG_USB_ANNOUNCE_NEW_DEVICES=y
118 CONFIG_LEDS_TRIGGERS=y
119 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
120 CONFIG_LEDS_TRIGGER_CPU=y
122 CONFIG_RTC_DRV_PL031=y
123 CONFIG_VIRTIO_BALLOON=y
125 CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES=y
134 CONFIG_SQUASHFS_LZO=y
138 CONFIG_NLS_CODEPAGE_437=y
139 CONFIG_NLS_ISO8859_1=y
142 CONFIG_DEBUG_KERNEL=y
143 CONFIG_DETECT_HUNG_TASK=y
144 # CONFIG_SCHED_DEBUG is not set
146 # CONFIG_CRYPTO_HW is not set