.gitignore

 build/
+card10.bin

.gitlab-ci.yml

+image: "debian"
+
+build:
+    stage: build
+    before_script:
+        - apt update -qq && apt install -y -qq gcc-arm-none-eabi python3-pip git
+        - pip3 install crc16
+        - ln -s /usr/bin/python3 /usr/bin/python
+    script:
+        - cd bootloader
+        - make
+        - cd ..
+        - cd Hello_World
+        - ./build_image
+        - cd ..
+        - cd Hello_World_FreeRTOS
+        - ./build_image
+        - cd ..
+        - cd ble
+        - ./build_image
+        - cd ..
+        - cd bmatest
+        - ./build_image
+        - cd ..
+        - cd bmetest
+        - ./build_image
+        - cd ..
+        - cd ecgtest
+        - ./build_image
+        - cd ..
+        - cd imutest
+        - ./build_image
+        - cd ..
+        - cd ips
+        - ./build_image
+        - cd ..
+        - git clone --branch wip-bootstrap https://git.card10.badge.events.ccc.de/annejan/micropython.git
+        - make -C micropython/ports/card10 SDK_LOCATION=`pwd`/sdk

README.md

@@ -25,7 +25,9 @@ This allows gdb to use our .gdbinit files without specifying them on the command
 ### OpenOCD
 If you want to debug code or replace the bootloader, you need OpenOCD and GDB.
 
-Get OpenOCD from [Maxim](https://github.com/maximmbed/openocd) and checkout the `max32xxx` branch. Build using `./configure` and 'make'. Make sure that the `CMSIS-DAP Compliant Debugger` is set to `yes(auto)` after running `./configure` (you might need to install libusb and other USB related libaries).
+Get OpenOCD from [Maxim](https://github.com/maximmbed/openocd) and checkout the `max32xxx` branch. Run `git submodule update --init`.
+Build using `./bootstrap`, `./configure` and 'make'. Make sure that the `CMSIS-DAP Compliant Debugger` is set to `yes(auto)` after running `./configure` (you might need to install libusb and other USB related libaries).
+If you get errors making the documentation you can `touch doc/openocd.info` to skip it and continue with 'make'.
 
 Please run `make install` after removing any already installed OpenOCD version. Otherwise please always specify the full path to openocd (the binary is under `src/openocd`, when calling `openocd`.