acpi: bool;
disp: disp_opt;
pci_emulations: string list;
+ sound: string option;
power_mgmt: int;
oem_features: int;
extras: (string * string option) list;
acpi: bool;
disp: disp_opt;
pci_emulations: string list;
+ sound: string option;
power_mgmt: int;
oem_features: int;
extras: (string * string option) list;
Device.Dm.vcpus = cfg.vcpus;
Device.Dm.nics = nics;
Device.Dm.pci_emulations = [];
+ Device.Dm.sound = None;
Device.Dm.usb = [];
Device.Dm.acpi = cfg.acpi;
Device.Dm.disp = disp;
Device.Dm.nics = [];
Device.Dm.pci_emulations = [];
Device.Dm.usb = [];
+ Device.Dm.sound = None;
Device.Dm.acpi = true;
Device.Dm.disp = Device.Dm.NONE;
Device.Dm.power_mgmt = 0;