diff --git a/Platform/Embedded-GNU-C.cmake b/Platform/Embedded-GNU-C.cmake
new file mode 100644
index 0000000..f253e3c
--- /dev/null
+++ b/Platform/Embedded-GNU-C.cmake
@@ -0,0 +1,9 @@
+#-------------------------------------------------------------------------------
+# Copyright (c) 2019-2020, Arm Limited and Contributors. All rights reserved.
+#
+# SPDX-License-Identifier: BSD-3-Clause
+#
+#-------------------------------------------------------------------------------
+
+set(CMAKE_C_OUTPUT_EXTENSION ".o")
+set(CMAKE_C_OUTPUT_EXTENSION_REPLACE 1)