From: Sangeetha Elumalai <sangeetha.elumalai@timesys.com>
Date: Thu, 27 Aug 2026 13:33:28 +0530

diff --git a/kernel/linux/efa/CMakeLists.txt b/kernel/linux/efa/CMakeLists.txt
index 5db2a73..a705d04 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -16,12 +16,15 @@ if(NOT KERNEL_DIR)
   endif()
 endif()
 
-unset(KERNEL_MAKEFILE CACHE)
-find_file(KERNEL_MAKEFILE Makefile PATHS ${KERNEL_DIR} NO_DEFAULT_PATH)
-if(NOT KERNEL_MAKEFILE)
-  message(FATAL_ERROR "No kernel Makefile")
+set(KERNEL_MAKEFILE "${KERNEL_DIR}/Makefile")
+
+if(NOT EXISTS "${KERNEL_MAKEFILE}")
+  message(FATAL_ERROR
+    "No kernel Makefile found: ${KERNEL_MAKEFILE}")
 endif()
+
 message("-- Kernel directory - ${KERNEL_DIR}")
+message("-- Kernel Makefile - ${KERNEL_MAKEFILE}")
 
 # Detect kernel toolchain
 execute_process(COMMAND grep -c CONFIG_CC_IS_CLANG=y ${KERNEL_DIR}/.config
-- 
2.25.1