2 # CONFIG_LOCALVERSION_AUTO is not set
5 CONFIG_BSD_PROCESS_ACCT=y
6 CONFIG_BSD_PROCESS_ACCT_V3=y
7 CONFIG_LOG_BUF_SHIFT=14
8 CONFIG_SYSFS_DEPRECATED_V2=y
9 CONFIG_BLK_DEV_INITRD=y
10 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
11 # CONFIG_SYSCTL_SYSCALL is not set
12 # CONFIG_BASE_FULL is not set
13 # CONFIG_COMPAT_BRK is not set
15 # CONFIG_BLK_DEV_BSG is not set
16 # CONFIG_IOSCHED_DEADLINE is not set
18 CONFIG_HIGH_RES_TIMERS=y
19 CONFIG_BOARD_MIMC200=y
20 # CONFIG_OWNERSHIP_TRACE is not set
21 CONFIG_NMI_DEBUGGING=y
24 # CONFIG_CPU_FREQ_STAT is not set
25 CONFIG_CPU_FREQ_DEFAULT_GOV_ONDEMAND=y
26 CONFIG_CPU_FREQ_GOV_USERSPACE=y
27 CONFIG_AVR32_AT32AP_CPUFREQ=y
35 CONFIG_IP_ADVANCED_ROUTER=y
44 # CONFIG_INET_LRO is not set
48 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
49 # CONFIG_PREVENT_FIRMWARE_BUILD is not set
50 # CONFIG_FW_LOADER is not set
52 CONFIG_MTD_PARTITIONS=y
53 CONFIG_MTD_CMDLINE_PARTS=y
57 CONFIG_MTD_CFI_AMDSTD=y
59 CONFIG_MTD_DATAFLASH=y
66 # CONFIG_NETDEV_1000 is not set
67 # CONFIG_NETDEV_10000 is not set
68 # CONFIG_INPUT is not set
69 # CONFIG_SERIO is not set
70 # CONFIG_VT is not set
71 # CONFIG_DEVKMEM is not set
73 CONFIG_SERIAL_ATMEL_CONSOLE=y
74 # CONFIG_LEGACY_PTYS is not set
75 # CONFIG_HW_RANDOM is not set
82 # CONFIG_HWMON is not set
84 CONFIG_AT32AP700X_WDT=y
87 # CONFIG_USB_SUPPORT is not set
95 CONFIG_LEDS_TRIGGERS=y
96 CONFIG_LEDS_TRIGGER_TIMER=y
97 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
98 CONFIG_LEDS_TRIGGER_DEFAULT_ON=y
100 CONFIG_RTC_DRV_DS1390=y
104 # CONFIG_EXT3_FS_XATTR is not set
105 # CONFIG_DNOTIFY is not set
108 CONFIG_FAT_DEFAULT_CODEPAGE=850
115 CONFIG_NLS_CODEPAGE_437=y
116 CONFIG_NLS_CODEPAGE_850=y
117 CONFIG_NLS_ISO8859_1=y
120 CONFIG_DEBUG_KERNEL=y
121 CONFIG_FRAME_POINTER=y