add sound option in the config file

diff --git a/xenvm/vmconfig.ml b/xenvm/vmconfig.ml
index 693976ea098d202f8afe8bc73330219e908929dc..63fb9cc465b8e891630e7cfebf778ceb4802240e 100644 (file)
--- a/xenvm/vmconfig.ml
+++ b/xenvm/vmconfig.ml
@@ -111,6 +111,7 @@ type config = {
        extra_local_watches: string list;
        extra_vm_watches: string list;
         pci_msitranslate: int;
+       sound: string option;
 }
 
 module Config = struct
@@ -343,6 +344,7 @@ let of_file error_report file =
        and extra_local_watches = ref []
        and extra_vm_watches = ref []
         and pci_msitranslate = ref 0 
+       and sound = ref None
        in
 
        let set_action ref_var s =
@@ -493,6 +495,7 @@ let of_file error_report file =
                ("extra-local-watch", Config.String set_local_watch);
                ("extra-vm-watch", Config.String set_vm_watch);
                 ("pci-msitranslate", Config.Set_int pci_msitranslate);
+               ("sound", Config.String (fun s -> sound := Some s));
        ] in
 
        begin try
@@ -588,5 +591,6 @@ let of_file error_report file =
                extra_local_watches = List.rev !extra_local_watches;
                extra_vm_watches = List.rev !extra_vm_watches;
                 pci_msitranslate = !pci_msitranslate;
+               sound = !sound;
        }
 end