at91: Missing kernel config symbols for AT91 target platform

I looked into buildbot snapshots and noticed that some platforms have
not successfully compiled for a long time. One example is at91, which
seems to be missing device-related kernel config symbols and the
snapshot build crashes already there.

Please find attached a patch that makes the at91 kernel config and
build to succeed again.

Signed off by: hannu.nyman@iki.fi

SVN-Revision: 31288

diff --git a/target/linux/at91/config-default b/target/linux/at91/config-default
index 24a90b8c402f88133371d0156425f66ea3e981f8..29c72347ebea3ce0927ac316531d3117d48b6ab4 100644 (file)
--- a/target/linux/at91/config-default
+++ b/target/linux/at91/config-default
@@ -3,6 +3,7 @@ CONFIG_ALIGNMENT_TRAP=y
 CONFIG_ARCH_AT91=y
 # CONFIG_ARCH_AT91CAP9 is not set
 # CONFIG_ARCH_AT91RM9200 is not set
+# CONFIG_ARCH_AT91RM9200DK is not set
 # CONFIG_ARCH_AT91SAM9260 is not set
 # CONFIG_ARCH_AT91SAM9261 is not set
 # CONFIG_ARCH_AT91SAM9263 is not set
@@ -100,13 +101,17 @@ CONFIG_HAVE_PROC_CPU=y
 # CONFIG_LEDS_GPIO is not set
 CONFIG_MACB=y
 # CONFIG_MACH_ACMENETUSFOXG20 is not set
+# CONFIG_MACH_AT91RM9200EK is not set
 # CONFIG_MACH_AT91SAM9G20EK is not set
 # CONFIG_MACH_AT91SAM9G20EK_2MMC is not set
 # CONFIG_MACH_CPU9G20 is not set
+# CONFIG_MACH_CSB337 is not set
 # CONFIG_MACH_GSIA18S is not set
 # CONFIG_MACH_NETUS_FOXBOARD is not set
+# CONFIG_MACH_ONEARM is not set
 # CONFIG_MACH_PCONTROL_G20 is not set
 # CONFIG_MACH_PORTUXG20 is not set
+# CONFIG_MACH_SNAPPER_9260 is not set
 # CONFIG_MACH_STAMP9G20 is not set
 # CONFIG_MFD_T7L66XB is not set
 # CONFIG_MII is not set
@@ -184,11 +189,14 @@ CONFIG_USB_GADGET_AT91=y
 # CONFIG_USB_GADGET_OMAP is not set
 # CONFIG_USB_GADGET_PXA25X is not set
 # CONFIG_USB_GADGET_PXA27X is not set
+# CONFIG_USB_GADGET_PXA_U2O is not set
 # CONFIG_USB_GADGET_R8A66597 is not set
 # CONFIG_USB_GADGET_S3C2410 is not set
 # CONFIG_USB_GADGET_S3C_HSOTG is not set
 CONFIG_USB_GADGET_SELECTED=y
 CONFIG_USB_GADGET_VBUS_DRAW=2
+# CONFIG_USB_G_DBGP is not set
+# CONFIG_USB_G_NCM is not set
 # CONFIG_USB_G_PRINTER is not set
 # CONFIG_USB_G_SERIAL is not set
 # CONFIG_USB_MIDI_GADGET is not set