1 # CONFIG_LOCALVERSION_AUTO is not set
5 CONFIG_HIGH_RES_TIMERS=y
6 CONFIG_BSD_PROCESS_ACCT=y
7 CONFIG_BSD_PROCESS_ACCT_V3=y
8 CONFIG_LOG_BUF_SHIFT=14
9 CONFIG_BLK_DEV_INITRD=y
10 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
11 # CONFIG_BASE_FULL is not set
12 # CONFIG_COMPAT_BRK is not set
14 # CONFIG_BLK_DEV_BSG is not set
15 # CONFIG_IOSCHED_DEADLINE is not set
16 CONFIG_BOARD_MIMC200=y
17 # CONFIG_OWNERSHIP_TRACE is not set
18 CONFIG_NMI_DEBUGGING=y
20 # CONFIG_CPU_FREQ_STAT is not set
21 CONFIG_CPU_FREQ_DEFAULT_GOV_ONDEMAND=y
22 CONFIG_CPU_FREQ_GOV_USERSPACE=y
23 CONFIG_AVR32_AT32AP_CPUFREQ=y
31 CONFIG_IP_ADVANCED_ROUTER=y
40 # CONFIG_INET_LRO is not set
44 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
45 # CONFIG_PREVENT_FIRMWARE_BUILD is not set
46 # CONFIG_FW_LOADER is not set
48 CONFIG_MTD_CMDLINE_PARTS=y
51 CONFIG_MTD_CFI_AMDSTD=y
53 CONFIG_MTD_DATAFLASH=y
59 # CONFIG_INPUT is not set
60 # CONFIG_SERIO is not set
61 # CONFIG_VT is not set
62 # CONFIG_LEGACY_PTYS is not set
63 # CONFIG_DEVKMEM is not set
65 CONFIG_SERIAL_ATMEL_CONSOLE=y
66 # CONFIG_HW_RANDOM is not set
73 # CONFIG_HWMON is not set
75 CONFIG_AT32AP700X_WDT=y
78 # CONFIG_USB_SUPPORT is not set
86 CONFIG_LEDS_TRIGGERS=y
87 CONFIG_LEDS_TRIGGER_TIMER=y
88 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
89 CONFIG_LEDS_TRIGGER_DEFAULT_ON=y
91 CONFIG_RTC_DRV_DS1390=y
95 # CONFIG_EXT3_FS_XATTR is not set
96 # CONFIG_DNOTIFY is not set
99 CONFIG_FAT_DEFAULT_CODEPAGE=850
105 CONFIG_NLS_CODEPAGE_437=y
106 CONFIG_NLS_CODEPAGE_850=y
107 CONFIG_NLS_ISO8859_1=y
109 CONFIG_FRAME_POINTER=y