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.
