1 # CONFIG_SWAP is not set
4 CONFIG_HIGH_RES_TIMERS=y
5 CONFIG_LOG_BUF_SHIFT=14
10 # CONFIG_BLK_DEV_BSG is not set
11 # CONFIG_IOSCHED_CFQ is not set
12 CONFIG_ARCH_MULTI_V6=y
13 CONFIG_ARCH_REALVIEW=y
15 CONFIG_MACH_REALVIEW_EB=y
16 CONFIG_REALVIEW_EB_ARM1136=y
17 CONFIG_REALVIEW_EB_ARM1176=y
18 CONFIG_REALVIEW_EB_A9MP=y
19 CONFIG_REALVIEW_EB_ARM11MP=y
20 CONFIG_REALVIEW_EB_ARM11MP_REVB=y
21 CONFIG_MACH_REALVIEW_PB11MP=y
22 CONFIG_MACH_REALVIEW_PB1176=y
23 CONFIG_MACH_REALVIEW_PBA8=y
24 CONFIG_MACH_REALVIEW_PBX=y
27 CONFIG_ZBOOT_ROM_TEXT=0x0
28 CONFIG_ZBOOT_ROM_BSS=0x0
29 CONFIG_CMDLINE="root=/dev/nfs nfsroot=10.1.69.3:/work/nfsroot ip=dhcp console=ttyAMA0 mem=128M"
38 # CONFIG_INET_LRO is not set
39 # CONFIG_IPV6 is not set
40 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
42 CONFIG_MTD_CMDLINE_PARTS=y
43 CONFIG_MTD_AFS_PARTS=y
46 CONFIG_MTD_CFI_INTELEXT=y
47 CONFIG_MTD_CFI_AMDSTD=y
57 # CONFIG_SERIO_SERPORT is not set
58 CONFIG_SERIO_AMBAKMI=y
59 CONFIG_LEGACY_PTY_COUNT=16
60 CONFIG_SERIAL_AMBA_PL011=y
61 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
62 # CONFIG_HW_RANDOM is not set
64 CONFIG_I2C_VERSATILE=y
67 # CONFIG_HWMON is not set
70 CONFIG_FRAMEBUFFER_CONSOLE=y
72 # CONFIG_LOGO_LINUX_MONO is not set
73 # CONFIG_LOGO_LINUX_VGA16 is not set
76 CONFIG_SND_MIXER_OSS=y
78 # CONFIG_SND_DRIVERS is not set
87 CONFIG_LEDS_VERSATILE=y
88 CONFIG_LEDS_TRIGGERS=y
89 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
90 CONFIG_LEDS_TRIGGER_CPU=y
92 CONFIG_RTC_DRV_DS1307=y
93 CONFIG_RTC_DRV_PL031=y
99 CONFIG_NLS_CODEPAGE_437=y
100 CONFIG_NLS_ISO8859_1=y
103 CONFIG_DEBUG_KERNEL=y
104 # CONFIG_SCHED_DEBUG is not set
105 # CONFIG_FTRACE is not set
107 # CONFIG_CRYPTO_HW is not set