diff --git a/tools/helpers.cmake b/tools/helpers.cmake
index 237355367..4556facd0 100644
--- a/tools/helpers.cmake
+++ b/tools/helpers.cmake
@@ -510,3 +510,15 @@ macro(list_append_if list dep)
     endif()
     set(${list} ${list_append_local_list} PARENT_SCOPE)
 endmacro(list_append_if)
+
+macro(kernel_platforms_list target)
+    list(APPEND ${target} ${KernelRiscVPlatform_all_strings})
+    list(APPEND ${target} ${KernelX86Sel4Arch_all_strings})
+    list(APPEND ${target} ${KernelARMPlatform_all_strings})
+endmacro(kernel_platforms_list)
+
+macro(kernel_platforms_string target)
+    set(plat_names "")
+    kernel_platforms_list(plat_names)
+    string(REPLACE ";" "\n  " ${target} "${plat_names}")
+endmacro(kernel_platforms_string)