Open-source the TEE Core
Signed-off-by: Pascal Brand <pascal.brand@st.com>
diff --git a/mk/gcc.mk b/mk/gcc.mk
new file mode 100644
index 0000000..f6fccf4
--- /dev/null
+++ b/mk/gcc.mk
@@ -0,0 +1,17 @@
+
+CC = $(CROSS_COMPILE)gcc
+LD = $(CROSS_COMPILE)ld
+AR = $(CROSS_COMPILE)ar
+NM = $(CROSS_COMPILE)nm
+OBJCOPY = $(CROSS_COMPILE)objcopy
+OBJDUMP = $(CROSS_COMPILE)objdump
+READELF = $(CROSS_COMPILE)readelf
+
+nostdinc := -nostdinc -isystem $(shell $(CC) -print-file-name=include \
+ 2> /dev/null)
+
+# Get location of libgcc from gcc
+libgcc := $(shell $(CC) $(comp-cflags$(sm)) -print-libgcc-file-name \
+ 2> /dev/null)
+
+