3 CONFIG_BSD_PROCESS_ACCT=y
4 CONFIG_BLK_DEV_INITRD=y
5 CONFIG_KALLSYMS_EXTRA_PASS=y
10 CONFIG_MACH_SPEAR310=y
12 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
14 CONFIG_BLK_DEV_RAM_SIZE=16384
15 CONFIG_INPUT_FF_MEMLESS=y
16 # CONFIG_INPUT_MOUSEDEV_PSAUX is not set
17 # CONFIG_INPUT_KEYBOARD is not set
18 # CONFIG_INPUT_MOUSE is not set
19 CONFIG_SERIAL_AMBA_PL011=y
20 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
21 # CONFIG_LEGACY_PTYS is not set
22 # CONFIG_HW_RANDOM is not set
24 CONFIG_MAX_RAW_DEVS=8192
27 # CONFIG_HWMON is not set
28 # CONFIG_VGA_CONSOLE is not set
29 # CONFIG_HID_SUPPORT is not set
30 # CONFIG_USB_SUPPORT is not set
32 CONFIG_EXT2_FS_XATTR=y
33 CONFIG_EXT2_FS_SECURITY=y
35 CONFIG_EXT3_FS_SECURITY=y
39 CONFIG_FAT_DEFAULT_IOCHARSET="ascii"
41 CONFIG_PARTITION_ADVANCED=y
43 CONFIG_NLS_DEFAULT="utf8"
44 CONFIG_NLS_CODEPAGE_437=y
49 CONFIG_DEBUG_SPINLOCK=y
50 CONFIG_DEBUG_SPINLOCK_SLEEP=y
52 # CONFIG_CRC32 is not set