Re: [PATCH 1/4] kvm: Update headers for device control api

On 23 August 2013 20:40, Christoffer Dall christoffer.dall@linaro.org wrote:

Update the KVM kernel headers to add support for the device control API on ARM used to create in-kernel devices and set and get attributes on these.

This is needed for VGIC save/restore with KVM ARM targets.

Headers are included from: git://git.linaro.org/people/cdall/linux-kvm-arm.git vgic-migrate

NB: this makes this an "RFC" patchset because we can't apply it until the kernel headers have been accepted upstream.

-- PMM