On Mon, Mar 11, 2019 at 10:17:56AM +0100, David Sastre wrote: > On Tue, Feb 26, 2019 at 1:32 AM Mike Larkin <[email protected]> wrote: > > > For what it's worth, we should probably allocate a real virtio device number > > from Redhat or whoever controls that. I have an old email in my inbox with a > > few contact names, but I never got around to following up. That would fix > > the > > problem of the "stolen" virtio ID. > > Mike, > > In case you (or somebody else on behalf of OpenBSD) have not yet done > so, the procedure to request the allocation of virtio device IDs is > documented here: > > http://docs.oasis-open.org/virtio/virtio/v1.0/cs04/virtio-v1.0-cs04.html#x1-3140003 > > Hope that helps.
Thanks David, I'll reach out to them. -ml
