diff --git a/CMakeLists.txt b/CMakeLists.txt
index c2d2fbc..bcdfb21 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -4,7 +4,7 @@ endif()
 if (NOT DEFINED ISA)
 	set(ISA imc)
 endif()
-message(STATUS "Building firmware using ${BOARD} board configuration")
+message(STATUS "Building firmware using ${BOARD} board configuration and isa ${ISA}")
 add_custom_target(fw-hello-world ALL 
 	COMMAND make -C hello-world BOARD=${BOARD} ISA=${ISA}
 	USES_TERMINAL