2 CONFIG_ARCH_VEXPRESS_CA9X4=y
4 CONFIG_ARCH_VEXPRESS_TC2=y
5 CONFIG_ARCH_VEXPRESS_DCSCB=y
6 CONFIG_ARM_VEXPRESS_BL_CPUFREQ=y
9 CONFIG_CPU_FREQ_GOV_ONDEMAND=y
10 CONFIG_CPU_FREQ_GOV_PERFORMANCE=y
11 CONFIG_CPU_FREQ_GOV_INTERACTIVE=y
12 CONFIG_CPU_FREQ_DEFAULT_GOV_PERFORMANCE=y
14 CONFIG_HAVE_ARM_ARCH_TIMER=y
18 CONFIG_CMDLINE="console=ttyAMA0,38400n8 root=/dev/mmcblk0p2 rootwait mmci.fmax=4000000"
26 CONFIG_SERIO_AMBAKMI=y
27 CONFIG_SERIAL_AMBA_PL011=y
28 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
33 # CONFIG_LOGO_LINUX_MONO is not set
34 # CONFIG_LOGO_LINUX_VGA16 is not set
39 CONFIG_USB_ISP1760_HCD=y
44 CONFIG_RTC_DRV_PL031=y
50 CONFIG_VEXPRESS_CONFIG=y
51 CONFIG_SENSORS_VEXPRESS=y
53 CONFIG_REGULATOR_VEXPRESS=y
57 CONFIG_LEDS_TRIGGERS=y
58 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
59 CONFIG_LEDS_TRIGGER_CPU=y
63 CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES=y