053944470c
Just remove dead devices from xenstore, there is no point in waiting for its shutdown (which 'xl' does) as backend domain is dead. |
||
---|---|---|
appvm | ||
common | ||
dom0 | ||
netvm | ||
proxyvm | ||
qrexec | ||
rpm_spec | ||
u2mfn | ||
vchan | ||
.gitignore | ||
LICENSE | ||
Makefile | ||
version_dom0 | ||
version_vaio_fixes | ||
version_vm |