diff --git a/gcc.cmake b/gcc.cmake
index b298155fa..115306394 100644
--- a/gcc.cmake
+++ b/gcc.cmake
@@ -26,6 +26,8 @@ if("${CROSS_COMPILER_PREFIX}" STREQUAL "")
         if(ARM)
             message("ARM flag is deprecated, please use AARCH32")
         endif()
+    elseif(AARCH32HF)
+        set(CROSS_COMPILER_PREFIX "arm-linux-gnueabihf-" CACHE INTERNAL "")
     elseif(AARCH64)
         set(CROSS_COMPILER_PREFIX "aarch64-linux-gnu-" CACHE INTERNAL "")
     endif()