des-testbed/desvirt — pull request #12 by LudwigOrtmann (2014-07-17 14:40:00+00:00)
Title: make libvirt optional

It isn't needed for riot-native.