2 # CONFIG_SWAP is not set
4 CONFIG_LOG_BUF_SHIFT=14
5 CONFIG_SYSFS_DEPRECATED_V2=y
9 # CONFIG_BLK_DEV_BSG is not set
10 # CONFIG_IOSCHED_CFQ is not set
11 CONFIG_ARCH_REALVIEW=y
12 CONFIG_MACH_REALVIEW_EB=y
13 CONFIG_REALVIEW_EB_ARM11MP=y
14 CONFIG_MACH_REALVIEW_PB11MP=y
15 CONFIG_MACH_REALVIEW_PB1176=y
17 CONFIG_ZBOOT_ROM_TEXT=0x0
18 CONFIG_ZBOOT_ROM_BSS=0x0
19 CONFIG_CMDLINE="root=/dev/nfs nfsroot=10.1.69.3:/work/nfsroot ip=dhcp console=ttyAMA0 mem=128M"
28 # CONFIG_INET_LRO is not set
29 # CONFIG_IPV6 is not set
30 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
33 CONFIG_MTD_PARTITIONS=y
34 CONFIG_MTD_CMDLINE_PARTS=y
38 CONFIG_MTD_CFI_INTELEXT=y
39 CONFIG_MTD_CFI_AMDSTD=y
47 # CONFIG_NETDEV_1000 is not set
48 # CONFIG_NETDEV_10000 is not set
49 # CONFIG_SERIO_SERPORT is not set
50 CONFIG_SERIO_AMBAKMI=y
51 CONFIG_SERIAL_AMBA_PL011=y
52 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
53 CONFIG_LEGACY_PTY_COUNT=16
54 # CONFIG_HW_RANDOM is not set
56 CONFIG_I2C_VERSATILE=y
59 # CONFIG_HWMON is not set
62 CONFIG_FRAMEBUFFER_CONSOLE=y
64 # CONFIG_LOGO_LINUX_MONO is not set
65 # CONFIG_LOGO_LINUX_VGA16 is not set
68 CONFIG_SND_MIXER_OSS=y
70 # CONFIG_SND_DRIVERS is not set
72 # CONFIG_HID_SUPPORT is not set
73 # CONFIG_USB_SUPPORT is not set
78 CONFIG_LEDS_TRIGGERS=y
79 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
81 CONFIG_RTC_DRV_DS1307=y
82 CONFIG_RTC_DRV_PL031=y
89 CONFIG_NLS_CODEPAGE_437=y
90 CONFIG_NLS_ISO8859_1=y
94 # CONFIG_SCHED_DEBUG is not set
95 # CONFIG_RCU_CPU_STALL_DETECTOR is not set
96 # CONFIG_FTRACE is not set
99 # CONFIG_CRYPTO_ANSI_CPRNG is not set
100 # CONFIG_CRYPTO_HW is not set