On Fri, Feb 14, 2014 at 8:21 PM, Greg KH <gre...@linuxfoundation.org> wrote: > > Also, the kernel is the one now responsible for managing the /dev node > creation/removal, through devtmpfs, there shouldn't be any "hotplug" > scripts involved in this process, so I doubt it's a userspace issue. > > you do have CONFIG_DEVTMPFS enabled in your kernel, right? >
Hi Greg, It seems I did not have CONFIG_DEVTMPFS and, with this option, the bug is no longer reproducible. Since, as I've read, devtmpfs has replaced tmpfs, there's no point in further debugging. Thanks, Valentina -- To unsubscribe from this list: send the line "unsubscribe linux-usb" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
