commit | 01af7daf5596e8860c71e72349e1d539b81d9c80 | [log] [tgz] |
---|---|---|
author | Paul Brook <paul@codesourcery.com> | Fri Nov 26 22:08:48 2010 +0000 |
committer | Paul Brook <paul@codesourcery.com> | Sat Nov 27 00:06:13 2010 +0000 |
tree | 41ff79f0c029ed1737d4b46b67d726181b20fc40 | |
parent | f8f5cfbaa49387a513fddd9c9bf1aeb0ecc64cce [diff] |
VirtIO config option Make virtio devices optional. Selecting individual devices is not useful as the host bindings are all in one file. Signed-off-by: Paul Brook <paul@codesourcery.com>