first commit

2022-08-24 08:41:00 +02:00
commit 5765dbd675
2497 changed files with 2244854 additions and 0 deletions
@@ -0,0 +1,7 @@
+FROM gitpod/workspace-full
+
+# add your tools here
+ARG GCC_BASE=gcc-arm-none-eabi-8-2019-q3-update
+ARG GCC_SHORT=8-2019q3
+ARG GCC_URL=https://armkeil.blob.core.windows.net/developer/Files/downloads/gnu-rm/${GCC_SHORT}/${GCC_BASE}-linux.tar.bz2
+RUN mkdir -p /home/gitpod/.local && wget -q ${GCC_URL} -O - | tar xfj - -C /home/gitpod/.local --strip-components=1