1CONFIG_NO_HZ=y
2CONFIG_HIGH_RES_TIMERS=y
3CONFIG_RELAY=y
4CONFIG_BLK_DEV_INITRD=y
5CONFIG_KALLSYMS_ALL=y
6CONFIG_MODULES=y
7CONFIG_MODULE_UNLOAD=y
8# CONFIG_BLK_DEV_BSG is not set
9CONFIG_PARTITION_ADVANCED=y
10CONFIG_BSD_DISKLABEL=y
11CONFIG_SOLARIS_X86_PARTITION=y
12CONFIG_ARCH_SIRF=y
13CONFIG_SMP=y
14CONFIG_SCHED_MC=y
15CONFIG_PREEMPT=y
16CONFIG_AEABI=y
17CONFIG_KEXEC=y
18CONFIG_BINFMT_MISC=y
19CONFIG_BLK_DEV_LOOP=y
20CONFIG_BLK_DEV_RAM=y
21CONFIG_BLK_DEV_RAM_SIZE=8192
22CONFIG_SCSI=y
23CONFIG_BLK_DEV_SD=y
24CONFIG_CHR_DEV_SG=y
25CONFIG_INPUT_EVDEV=y
26# CONFIG_INPUT_MOUSE is not set
27CONFIG_INPUT_TOUCHSCREEN=y
28CONFIG_INPUT_MISC=y
29CONFIG_SERIAL_SIRFSOC=y
30CONFIG_SERIAL_SIRFSOC_CONSOLE=y
31CONFIG_HW_RANDOM=y
32CONFIG_I2C=y
33CONFIG_I2C_CHARDEV=y
34CONFIG_I2C_SIRF=y
35CONFIG_SPI=y
36CONFIG_SPI_SIRF=y
37CONFIG_SPI_SPIDEV=y
38# CONFIG_HWMON is not set
39CONFIG_WATCHDOG=y
40CONFIG_USB_GADGET=y
41CONFIG_USB_MASS_STORAGE=m
42CONFIG_MMC=y
43CONFIG_MMC_SDHCI=y
44CONFIG_MMC_SDHCI_PLTFM=y
45CONFIG_MMC_SDHCI_SIRF=y
46CONFIG_RTC_CLASS=y
47CONFIG_RTC_DRV_SIRFSOC=y
48CONFIG_DMADEVICES=y
49CONFIG_DMADEVICES_DEBUG=y
50CONFIG_DMADEVICES_VDEBUG=y
51CONFIG_SIRF_DMA=y
52CONFIG_HWSPINLOCK_SIRF=y
53# CONFIG_IOMMU_SUPPORT is not set
54CONFIG_EXT2_FS=y
55CONFIG_MSDOS_FS=y
56CONFIG_VFAT_FS=y
57CONFIG_TMPFS=y
58CONFIG_TMPFS_POSIX_ACL=y
59CONFIG_CRAMFS=y
60CONFIG_ROMFS_FS=y
61CONFIG_NLS_CODEPAGE_437=y
62CONFIG_NLS_ASCII=y
63CONFIG_NLS_ISO8859_1=y
64CONFIG_DEBUG_INFO=y
65CONFIG_DEBUG_SECTION_MISMATCH=y
66CONFIG_MAGIC_SYSRQ=y
67CONFIG_DEBUG_KERNEL=y
68# CONFIG_DEBUG_PREEMPT is not set
69CONFIG_DEBUG_RT_MUTEXES=y
70CONFIG_DEBUG_SPINLOCK=y
71CONFIG_DEBUG_MUTEXES=y
72CONFIG_CRC_CCITT=y
73