3 CONFIG_HIGH_RES_TIMERS=y
4 CONFIG_LOG_BUF_SHIFT=14
8 CONFIG_MACH_REALVIEW_EB=y
9 CONFIG_REALVIEW_EB_ARM1136=y
10 CONFIG_REALVIEW_EB_ARM1176=y
11 CONFIG_REALVIEW_EB_A9MP=y
12 CONFIG_MACH_REALVIEW_PB1176=y
13 CONFIG_MACH_REALVIEW_PBA8=y
14 CONFIG_MACH_REALVIEW_PBX=y
16 CONFIG_CMDLINE="root=/dev/nfs nfsroot=10.1.69.3:/work/nfsroot ip=dhcp console=ttyAMA0 mem=128M"
19 CONFIG_MODULE_UNLOAD=y
20 # CONFIG_SWAP is not set
29 # CONFIG_IPV6 is not set
31 CONFIG_MTD_CMDLINE_PARTS=y
32 CONFIG_MTD_AFS_PARTS=y
35 CONFIG_MTD_CFI_INTELEXT=y
36 CONFIG_MTD_CFI_AMDSTD=y
39 CONFIG_MTD_PHYSMAP_OF=y
42 # CONFIG_BLK_DEV_BSG is not set
47 # CONFIG_SERIO_SERPORT is not set
48 CONFIG_SERIO_AMBAKMI=y
49 CONFIG_LEGACY_PTY_COUNT=16
50 CONFIG_SERIAL_AMBA_PL011=y
51 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
52 # CONFIG_HW_RANDOM is not set
53 CONFIG_I2C_VERSATILE=y
56 # CONFIG_HWMON is not set
58 CONFIG_REGULATOR_FIXED_VOLTAGE=y
62 CONFIG_DRM_PANEL_SIMPLE=y
63 CONFIG_DRM_PANEL_EDP=y
64 CONFIG_DRM_DISPLAY_CONNECTOR=y
65 CONFIG_DRM_SIMPLE_BRIDGE=y
68 CONFIG_BACKLIGHT_CLASS_DEVICE=y
72 # CONFIG_SND_DRIVERS is not set
82 CONFIG_LEDS_TRIGGERS=y
83 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
84 CONFIG_LEDS_TRIGGER_CPU=y
86 CONFIG_RTC_DRV_DS1307=y
87 CONFIG_RTC_DRV_PL031=y
93 CONFIG_NLS_CODEPAGE_437=y
94 CONFIG_NLS_ISO8859_1=y
98 # CONFIG_SCHED_DEBUG is not set
99 # CONFIG_FTRACE is not set