On Fri, Feb 14, 2014 at 8:21 PM, Greg KH <gregkh@xxxxxxxxxxxxxxxxxxx> 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-hotplug" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
