doc: add guide to use virtio-user as exceptional path
[dpdk.git] / devtools / check-includes.sh
2017-01-04 Thomas Monjalonscripts: move to devtools