1 # CONFIG_LOCALVERSION_AUTO is not set
5 CONFIG_HIGH_RES_TIMERS=y
6 CONFIG_LOG_BUF_SHIFT=14
8 CONFIG_BLK_DEV_INITRD=y
9 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
10 # CONFIG_BASE_FULL is not set
11 # CONFIG_COMPAT_BRK is not set
15 CONFIG_MODULE_UNLOAD=y
16 # CONFIG_BLK_DEV_BSG is not set
17 # CONFIG_IOSCHED_DEADLINE is not set
18 CONFIG_BOARD_ATSTK1003=y
19 # CONFIG_OWNERSHIP_TRACE is not set
20 CONFIG_NMI_DEBUGGING=y
22 # CONFIG_CPU_FREQ_STAT is not set
23 CONFIG_CPU_FREQ_DEFAULT_GOV_ONDEMAND=y
24 CONFIG_CPU_FREQ_GOV_USERSPACE=y
25 CONFIG_AVR32_AT32AP_CPUFREQ=y
30 # CONFIG_INET_XFRM_MODE_TRANSPORT is not set
31 # CONFIG_INET_XFRM_MODE_TUNNEL is not set
32 # CONFIG_INET_XFRM_MODE_BEET is not set
33 # CONFIG_INET_LRO is not set
34 # CONFIG_INET_DIAG is not set
35 # CONFIG_IPV6 is not set
36 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
37 # CONFIG_PREVENT_FIRMWARE_BUILD is not set
38 # CONFIG_FW_LOADER is not set
40 CONFIG_MTD_CMDLINE_PARTS=y
43 CONFIG_MTD_CFI_AMDSTD=y
51 # CONFIG_SCSI_PROC_FS is not set
54 # CONFIG_SCSI_LOWLEVEL is not set
56 # CONFIG_SATA_PMP is not set
65 # CONFIG_KEYBOARD_ATKBD is not set
66 CONFIG_KEYBOARD_GPIO=m
67 # CONFIG_MOUSE_PS2 is not set
69 # CONFIG_SERIO is not set
70 # CONFIG_VT is not set
71 # CONFIG_LEGACY_PTYS is not set
72 # CONFIG_DEVKMEM is not set
74 CONFIG_SERIAL_ATMEL_CONSOLE=y
75 # CONFIG_HW_RANDOM is not set
83 # CONFIG_HWMON is not set
85 CONFIG_AT32AP700X_WDT=y
88 CONFIG_SND_MIXER_OSS=m
90 # CONFIG_SND_DRIVERS is not set
96 CONFIG_USB_MASS_STORAGE=m
98 CONFIG_USB_CDC_COMPOSITE=m
101 CONFIG_MMC_ATMELMCI=y
106 CONFIG_LEDS_TRIGGERS=y
107 CONFIG_LEDS_TRIGGER_TIMER=m
108 CONFIG_LEDS_TRIGGER_HEARTBEAT=m
110 CONFIG_RTC_DRV_AT32AP700X=y
116 # CONFIG_EXT3_DEFAULTS_TO_ORDERED is not set
117 # CONFIG_EXT3_FS_XATTR is not set
119 # CONFIG_DNOTIFY is not set
123 CONFIG_FAT_DEFAULT_CODEPAGE=850
129 # CONFIG_NETWORK_FILESYSTEMS is not set
130 CONFIG_NLS_CODEPAGE_437=m
131 CONFIG_NLS_CODEPAGE_850=m
132 CONFIG_NLS_ISO8859_1=m
135 CONFIG_FRAME_POINTER=y
137 CONFIG_DETECT_HUNG_TASK=y