Re: [RFC PATCH v4 1/3] vfio: platform: add device properties skeleton and user API

2015-09-09 Thread Alex Williamson
On Wed, 2015-09-09 at 11:17 +0200, Baptiste Reynal wrote: > From: Antonios Motakis > > This patch introduces an API that allows to return device properties (OF > or ACPI) of a device bound to the vfio-platform/vfio-amba driver and the > skeleton of the implementation for VFIO_PLATFORM. Informatio

[RFC PATCH v4 1/3] vfio: platform: add device properties skeleton and user API

2015-09-09 Thread Baptiste Reynal
From: Antonios Motakis This patch introduces an API that allows to return device properties (OF or ACPI) of a device bound to the vfio-platform/vfio-amba driver and the skeleton of the implementation for VFIO_PLATFORM. Information about any device node bound by VFIO_PLATFORM should be queried via