plumb the sound option from the config to Dm parameter

diff --git a/xenvm/vmact.ml b/xenvm/vmact.ml
index d7dfb948a2983d3def8b1cb0015a96d27fd7cba5..429dab6b76afba3ef1227d2d6d8ae180e381fc48 100644 (file)
--- a/xenvm/vmact.ml
+++ b/xenvm/vmact.ml
@@ -128,7 +128,7 @@ let dm_info_of_cfg cfg =
                Device.Dm.vcpus = cfg.vcpus;
                Device.Dm.nics = nics;
                Device.Dm.pci_emulations = [];
-               Device.Dm.sound = None;
+               Device.Dm.sound = cfg.sound;
                Device.Dm.usb = [];
                Device.Dm.acpi = cfg.acpi;
                Device.Dm.disp = disp;