2 # CONFIG_SWAP is not set
7 CONFIG_LOG_BUF_SHIFT=14
8 CONFIG_BLK_DEV_INITRD=y
11 CONFIG_MODULE_UNLOAD=y
12 CONFIG_MODULE_FORCE_UNLOAD=y
14 # CONFIG_BLK_DEV_BSG is not set
15 # CONFIG_IOSCHED_DEADLINE is not set
16 # CONFIG_IOSCHED_CFQ is not set
18 CONFIG_ARCH_DAVINCI_DA830=y
19 CONFIG_ARCH_DAVINCI_DA850=y
20 CONFIG_MACH_DA8XX_DT=y
21 CONFIG_MACH_MITYOMAPL138=y
22 CONFIG_MACH_OMAPL138_HAWKBOARD=y
23 CONFIG_DAVINCI_RESET_CLOCKS=y
25 CONFIG_HIGH_RES_TIMERS=y
28 # CONFIG_OABI_COMPAT is not set
31 CONFIG_ZBOOT_ROM_TEXT=0x0
32 CONFIG_ZBOOT_ROM_BSS=0x0
34 CONFIG_CPU_FREQ_DEFAULT_GOV_USERSPACE=y
35 CONFIG_CPU_FREQ_GOV_PERFORMANCE=m
36 CONFIG_CPU_FREQ_GOV_POWERSAVE=m
37 CONFIG_CPU_FREQ_GOV_ONDEMAND=m
45 # CONFIG_INET_LRO is not set
47 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
48 # CONFIG_FW_LOADER is not set
51 CONFIG_BLK_DEV_RAM_COUNT=1
52 CONFIG_BLK_DEV_RAM_SIZE=32768
59 CONFIG_LSI_ET1011C_PHY=y
62 CONFIG_TI_DAVINCI_EMAC=y
63 # CONFIG_NETDEV_1000 is not set
64 # CONFIG_NETDEV_10000 is not set
67 CONFIG_INPUT_MOUSEDEV=m
70 CONFIG_KEYBOARD_ATKBD=m
71 CONFIG_KEYBOARD_GPIO=y
72 CONFIG_KEYBOARD_XTKBD=m
73 # CONFIG_INPUT_MOUSE is not set
74 CONFIG_INPUT_TOUCHSCREEN=y
76 # CONFIG_VT_CONSOLE is not set
78 CONFIG_SERIAL_8250_CONSOLE=y
79 CONFIG_SERIAL_8250_NR_UARTS=3
80 CONFIG_SERIAL_OF_PLATFORM=y
84 # CONFIG_HWMON is not set
87 CONFIG_REGULATOR_DUMMY=y
88 CONFIG_REGULATOR_TPS6507X=y
91 # CONFIG_VGA_CONSOLE is not set
92 CONFIG_FRAMEBUFFER_CONSOLE=y
97 CONFIG_SND_DAVINCI_SOC=m
98 # CONFIG_HID_SUPPORT is not set
99 # CONFIG_USB_SUPPORT is not set
116 CONFIG_PARTITION_ADVANCED=y
117 CONFIG_NLS_CODEPAGE_437=y
119 CONFIG_NLS_ISO8859_1=y
122 CONFIG_DEBUG_KERNEL=y
124 CONFIG_DEBUG_RT_MUTEXES=y
125 CONFIG_DEBUG_MUTEXES=y
126 # CONFIG_RCU_CPU_STALL_DETECTOR is not set
128 CONFIG_DEBUG_ERRORS=y
129 # CONFIG_CRYPTO_ANSI_CPRNG is not set
130 # CONFIG_CRYPTO_HW is not set