From f7e7347dc1b4873f70a26392c997228999d346a8 Mon Sep 17 00:00:00 2001
From: Jerome Marchand <jmarchan@redhat.com>
Date: Wed, 10 Jun 2020 11:41:59 +0200
Subject: [PATCH 3/4] loader: suggest to install the right kernel devel package

Unfortunately, some package dependency system do not allow to make
sure that the kernel development package installed is the same version
as the running kernel. When this happen, the loader, unable to find
the kernel header, will suggest to rebuild the kernel with
CONFIG_IKHEADERS. For most users, this is probably not an option, but
installing the kernel development package corresponding to the running
kernel version is.
---
 src/cc/frontends/clang/loader.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/cc/frontends/clang/loader.cc b/src/cc/frontends/clang/loader.cc
index 9d768d30..79558dd3 100644
--- a/src/cc/frontends/clang/loader.cc
+++ b/src/cc/frontends/clang/loader.cc
@@ -151,7 +151,8 @@ int ClangLoader::parse(unique_ptr<llvm::Module> *mod, TableStorage &ts,
       kpath = tmpdir;
     } else {
       std::cout << "Unable to find kernel headers. ";
-      std::cout << "Try rebuilding kernel with CONFIG_IKHEADERS=m (module)\n";
+      std::cout << "Try rebuilding kernel with CONFIG_IKHEADERS=m (module) ";
+      std::cout <<  "or installing the kernel development package for your running kernel version.\n";
     }
   }
 
-- 
2.25.4