3 CONFIG_BSD_PROCESS_ACCT=y
4 CONFIG_BLK_DEV_INITRD=y
5 CONFIG_KALLSYMS_EXTRA_PASS=y
10 CONFIG_BOARD_SPEAR300_EVB=y
11 CONFIG_BOARD_SPEAR310_EVB=y
12 CONFIG_BOARD_SPEAR320_EVB=y
14 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
16 CONFIG_BLK_DEV_RAM_SIZE=16384
17 CONFIG_INPUT_FF_MEMLESS=y
18 # CONFIG_INPUT_MOUSEDEV_PSAUX is not set
19 # CONFIG_INPUT_KEYBOARD is not set
20 # CONFIG_INPUT_MOUSE is not set
21 CONFIG_SERIAL_AMBA_PL011=y
22 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
23 # CONFIG_LEGACY_PTYS is not set
24 # CONFIG_HW_RANDOM is not set
26 CONFIG_MAX_RAW_DEVS=8192
29 # CONFIG_HWMON is not set
30 # CONFIG_HID_SUPPORT is not set
31 # CONFIG_USB_SUPPORT is not set
33 CONFIG_EXT2_FS_XATTR=y
34 CONFIG_EXT2_FS_SECURITY=y
36 CONFIG_EXT3_FS_SECURITY=y
40 CONFIG_FAT_DEFAULT_IOCHARSET="ascii"
42 CONFIG_PARTITION_ADVANCED=y
44 CONFIG_NLS_DEFAULT="utf8"
45 CONFIG_NLS_CODEPAGE_437=y
50 CONFIG_DEBUG_SPINLOCK=y
51 CONFIG_DEBUG_SPINLOCK_SLEEP=y
53 # CONFIG_CRC32 is not set