From mboxrd@z Thu Jan  1 00:00:00 1970
From: Valentina Manea <valentina.manea.m@gmail.com>
Date: Sat, 15 Feb 2014 12:38:28 +0000
Subject: Re: /dev entry of USB device not disappearing after detach
Message-Id: <CABdoFFc_JKLN4VhmSNaKOVjtFXTU6PzL_z6xyKzan3bOC51WXA@mail.gmail.com>
List-Id: <linux-hotplug.vger.kernel.org>
References: <CABdoFFfdXunfN+q1wJWGJbh9UGzD+9z9257ZXMM_qDhg3X8zTQ@mail.gmail.com>
In-Reply-To: <CABdoFFfdXunfN+q1wJWGJbh9UGzD+9z9257ZXMM_qDhg3X8zTQ@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
To: linux-hotplug@vger.kernel.org

On Fri, Feb 14, 2014 at 8:21 PM, Greg KH <gregkh@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