Request vote for patch: Reserve device ID 32 for SCMI device

Fixes: https://github.com/oasis-tcs/virtio-spec/issues/74
Reviewed-by: Stefan Hajnoczi <>

Request vote about the patch `Reserve device ID 32 for SCMI device'.

On 09.03.20 12:27, Stefan Hajnoczi wrote:
> On Fri, Mar 06, 2020 at 06:00:32PM +0100, Peter Hilber wrote:
>> Signed-off-by: Peter Hilber <>
>> ---
>>  content.tex | 2 ++
>>  1 file changed, 2 insertions(+)
> 
> Reviewed-by: Stefan Hajnoczi <>
>