fix empty kernel issue in hvm mode

use to be filled in the config reading mechanism. Got lost during the
reorganization of the dynamic argument setting.

diff --git a/xenvm/vmact.ml b/xenvm/vmact.ml
index 51a2552838c02f69f31ad301279387fb02fd1f7d..38d140890425a95f835ce999e9984c63a84668f7 100644 (file)
--- a/xenvm/vmact.ml
+++ b/xenvm/vmact.ml
@@ -425,6 +425,7 @@ let create_vm xc xs state =
        )
 
 let build_info_of_cfg cfg =
+       let kernel = if cfg.hvm && cfg.kernel = "" then "/usr/lib/xen/boot/hvmloader" else cfg.kernel in
        let spec_info =
                match cfg.hvm with
                | true  ->
@@ -455,7 +456,7 @@ let build_info_of_cfg cfg =
        {
                Domain.memory_max = cfg.memory;
                Domain.memory_target = cfg.memory;
-               Domain.kernel = cfg.kernel;
+               Domain.kernel = kernel;
                Domain.vcpus = cfg.vcpus;
                Domain.priv = spec_info;
        }