On 07/10/13 21:17, Stephen Rothwell wrote: > Hi all, > > Changes since 20130710: > on x86_64: # CONFIG_USB_GADGET is not set ERROR: "usb_gadget_map_request" [drivers/usb/chipidea/ci_hdrc.ko] undefined! ERROR: "usb_del_gadget_udc" [drivers/usb/chipidea/ci_hdrc.ko] undefined! ERROR: "usb_gadget_unmap_request" [drivers/usb/chipidea/ci_hdrc.ko] undefined! ERROR: "usb_add_gadget_udc" [drivers/usb/chipidea/ci_hdrc.ko] undefined! Full randconfig file is attached. -- ~Randy