Kent Overstreet <koverstreet@google.com> writes:> CONFIG_VIRTIO isn't exposed, everything else is supposed to select it> instead.This is a slight mis-understanding. It's supposed to be selected bythe particular driver, probably virtio_pci in your case.Cheers,Rusty.