Re: [Xen-devel] Backend in user space, how is its kernel dev unregistered?

[Gerd Hoffmann <kraxel@xxxxxxxxxx>]

> The vfb and vkbd backends live in user space, i.e. there is no backend
> driver in the kernel.  device_unregister() never gets called.  This is a
> resource leak.

When a domain shuts down xend will cleanup the backend device entries in
xenstore, which in turn kills the devices.  At least they disappear from
sysfs on my box ...

cheers,
  Gerd


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel