On 04.12.2017 17:56, Cornelia Huck wrote: > On Mon, 4 Dec 2017 13:55:00 +0100 > David Hildenbrand <da...@redhat.com> wrote: > >> Hotplugging a ccw device currently fails due to different reasons. >> >> 1. The stored machine check information is partially wrong. >> 2. The TOD programmable field cannot be restored. >> 3. STCRW cannot get executed. >> >> With these patches, I am able to sucessfully hotplug e.g. virtio-rng by >> issuing "device_add virtio-rng-ccw,id=rng0" to a Linux guest. > > Thank you for taking care of my unpublished todo list ;) > > Does device_del also work?
I did a very quick test and it seemed to work. (I remember seeing notifications in dmesg) -- Thanks, David / dhildenb