2 CONFIG_HIGH_RES_TIMERS=y
4 CONFIG_BLK_DEV_INITRD=y
8 # CONFIG_BLK_DEV_BSG is not set
9 CONFIG_PARTITION_ADVANCED=y
10 CONFIG_BSD_DISKLABEL=y
11 CONFIG_SOLARIS_X86_PARTITION=y
19 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
22 CONFIG_BLK_DEV_RAM_SIZE=8192
27 # CONFIG_INPUT_MOUSE is not set
28 CONFIG_INPUT_TOUCHSCREEN=y
29 CONFIG_SERIAL_SIRFSOC=y
30 CONFIG_SERIAL_SIRFSOC_CONSOLE=y
38 # CONFIG_HWMON is not set
41 CONFIG_USB_MASS_STORAGE=m
44 CONFIG_MMC_SDHCI_PLTFM=y
46 CONFIG_DMADEVICES_DEBUG=y
47 CONFIG_DMADEVICES_VDEBUG=y
49 # CONFIG_IOMMU_SUPPORT is not set
54 CONFIG_TMPFS_POSIX_ACL=y
57 CONFIG_NLS_CODEPAGE_437=y
59 CONFIG_NLS_ISO8859_1=y
61 CONFIG_DEBUG_SECTION_MISMATCH=y
64 # CONFIG_DEBUG_PREEMPT is not set
65 CONFIG_DEBUG_RT_MUTEXES=y
66 CONFIG_DEBUG_SPINLOCK=y
67 CONFIG_DEBUG_MUTEXES=y