2 # CONFIG_SWAP is not set
4 CONFIG_LOG_BUF_SHIFT=14
5 CONFIG_BLK_DEV_INITRD=y
8 # CONFIG_BLK_DEV_BSG is not set
11 CONFIG_AT91_PROGRAMMABLE_CLOCKS=y
12 # CONFIG_ARM_THUMB is not set
17 CONFIG_ZBOOT_ROM_TEXT=0x0
18 CONFIG_ZBOOT_ROM_BSS=0x0
19 CONFIG_CMDLINE="mem=32M console=ttyS0,38400 initrd=0x20410000,3145728 root=/dev/ram0 rw"
28 # CONFIG_INET_LRO is not set
29 # CONFIG_IPV6 is not set
30 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
32 CONFIG_MTD_PARTITIONS=y
33 CONFIG_MTD_CMDLINE_PARTS=y
37 CONFIG_MTD_CFI_INTELEXT=y
41 CONFIG_BLK_DEV_RAM_SIZE=8192
46 CONFIG_ARM_AT91_ETHER=y
47 # CONFIG_INPUT_MOUSEDEV_PSAUX is not set
48 # CONFIG_INPUT_KEYBOARD is not set
49 # CONFIG_INPUT_MOUSE is not set
50 # CONFIG_SERIO is not set
52 CONFIG_SERIAL_ATMEL_CONSOLE=y
53 # CONFIG_HW_RANDOM is not set
57 # CONFIG_HWMON is not set
59 CONFIG_WATCHDOG_NOWAYOUT=y
60 CONFIG_AT91RM9200_WATCHDOG=y
61 # CONFIG_VGA_CONSOLE is not set
62 # CONFIG_USB_HID is not set
70 CONFIG_USB_SERIAL_CONSOLE=y
71 CONFIG_USB_SERIAL_GENERIC=y
72 CONFIG_USB_SERIAL_FTDI_SIO=y
73 CONFIG_USB_SERIAL_KEYSPAN=y
74 CONFIG_USB_SERIAL_KEYSPAN_MPR=y
75 CONFIG_USB_SERIAL_KEYSPAN_USA28=y
76 CONFIG_USB_SERIAL_KEYSPAN_USA28X=y
77 CONFIG_USB_SERIAL_KEYSPAN_USA28XA=y
78 CONFIG_USB_SERIAL_KEYSPAN_USA28XB=y
79 CONFIG_USB_SERIAL_KEYSPAN_USA19=y
80 CONFIG_USB_SERIAL_KEYSPAN_USA18X=y
81 CONFIG_USB_SERIAL_KEYSPAN_USA19W=y
82 CONFIG_USB_SERIAL_KEYSPAN_USA19QW=y
83 CONFIG_USB_SERIAL_KEYSPAN_USA19QI=y
84 CONFIG_USB_SERIAL_KEYSPAN_USA49W=y
85 CONFIG_USB_SERIAL_KEYSPAN_USA49WLC=y
86 CONFIG_USB_SERIAL_MCT_U232=y
90 CONFIG_RTC_HCTOSYS_DEVICE="rtc1"
91 # CONFIG_RTC_INTF_SYSFS is not set
92 CONFIG_RTC_DRV_DS1307=y
93 CONFIG_RTC_DRV_AT91RM9200=y
102 CONFIG_DEBUG_KERNEL=y