If virt-dmesg/virt-uname fails, suggest they use --dump-kernel option.

diff --git a/src/main.ml b/src/main.ml
index 5022a71..0615376 100644 (file)
--- a/src/main.ml
+++ b/src/main.ml
@@ -203,6 +203,8 @@ See virt-dmesg(1) man page for more suggestions." guest_name;
        with
          Not_found ->
            error "could not find kernel log buffer in kernel image";
+           error "try: %s --dump-kernel %s | strings | less"
+             (get_program_name ()) guest_name;
            exit 1
       )
 
@@ -222,6 +224,8 @@ See virt-dmesg(1) man page for more suggestions." guest_name;
       match addr with
       | None ->
           error "init_uts_ns nor system_utsname symbols not found in this kernel";
+          error "try: %s --dump-kernel %s | strings | less"
+             (get_program_name ()) guest_name;
           exit 1
 
       | Some addr ->
@@ -241,6 +245,8 @@ See virt-dmesg(1) man page for more suggestions." guest_name;
           (* Sanity check. *)
           if system <> "Linux" then (
             error "utsname symbols found in kernel, but points to unknown structure";
+            error "try: %s --dump-kernel %s | strings | less"
+             (get_program_name ()) guest_name;
             exit 1
           );