Am Tue, 14 May 2019 12:18:56 +0200
schrieb Roger Pau Monné <roger.pau@citrix.com>:

> Why is it not fine to set the device model version in
> libxl__domain_build_info_setdefault?

Because it receives just build_info, which lacks all the data to decide
if a device type needs a device model or not.

Olaf