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_SYSCTL_SYSCALL is not set
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
17 CONFIG_HIGH_RES_TIMERS=y
18 CONFIG_BOARD_MIMC200=y
19 # CONFIG_OWNERSHIP_TRACE is not set
20 CONFIG_NMI_DEBUGGING=y
23 # CONFIG_CPU_FREQ_STAT is not set
24 CONFIG_CPU_FREQ_DEFAULT_GOV_ONDEMAND=y
25 CONFIG_CPU_FREQ_GOV_USERSPACE=y
26 CONFIG_CPU_FREQ_AT32AP=y
34 CONFIG_IP_ADVANCED_ROUTER=y
43 # CONFIG_INET_LRO is not set
47 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
48 # CONFIG_PREVENT_FIRMWARE_BUILD is not set
49 # CONFIG_FW_LOADER is not set
51 CONFIG_MTD_PARTITIONS=y
52 CONFIG_MTD_CMDLINE_PARTS=y
56 CONFIG_MTD_CFI_AMDSTD=y
58 CONFIG_MTD_DATAFLASH=y
65 # CONFIG_NETDEV_1000 is not set
66 # CONFIG_NETDEV_10000 is not set
67 # CONFIG_INPUT is not set
68 # CONFIG_SERIO is not set
69 # CONFIG_VT is not set
70 # CONFIG_DEVKMEM is not set
72 CONFIG_SERIAL_ATMEL_CONSOLE=y
73 # CONFIG_LEGACY_PTYS is not set
74 # CONFIG_HW_RANDOM is not set
81 # CONFIG_HWMON is not set
83 CONFIG_AT32AP700X_WDT=y
86 # CONFIG_USB_SUPPORT is not set
94 CONFIG_LEDS_TRIGGERS=y
95 CONFIG_LEDS_TRIGGER_TIMER=y
96 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
97 CONFIG_LEDS_TRIGGER_DEFAULT_ON=y
99 CONFIG_RTC_DRV_DS1390=y
103 # CONFIG_EXT3_FS_XATTR is not set
104 # CONFIG_DNOTIFY is not set
107 CONFIG_FAT_DEFAULT_CODEPAGE=850
114 CONFIG_NLS_CODEPAGE_437=y
115 CONFIG_NLS_CODEPAGE_850=y
116 CONFIG_NLS_ISO8859_1=y
119 CONFIG_DEBUG_KERNEL=y
120 CONFIG_FRAME_POINTER=y