.github: Test the Tock responder

Signed-off-by: Alistair Francis <alistair.francis@wdc.com>

.github/workflows/ci.yml

@@ -13,6 +13,7 @@ jobs:
       - uses: actions/checkout@v2
         with:
           submodules: recursive
+
       - name: Install Rust toolchain
         uses: actions-rs/toolchain@v1
         with:
@@ -65,3 +66,57 @@ jobs:
       #   uses: actions-rs/cargo@v1
       #   with:
       #     command: clippy
+
+      - name: Format Tock Responder
+        run: pushd tock-responder && cargo fmt --all -- --check && popd
+
+      - name: Install ARM toolchain
+        uses: carlosperate/arm-none-eabi-gcc-action@v1
+        with:
+          release: latest
+
+      - name: Build ARM embedded libspdm
+        run: |
+          pushd third-party/libspdm; \
+          mkdir -p build_no_std_arm; \
+          cd build_no_std_arm; \
+          cmake \
+            -DARCH=arm \
+            -DTOOLCHAIN=ARM_GNU_BARE_METAL \
+            -DTARGET=Release \
+            -DCRYPTO=mbedtls \
+            -DDISABLE_TESTS=1 \
+            -DMARCH=armv7e-m \
+            -DDISABLE_LTO=1 \
+            -DCMAKE_C_FLAGS="-DLIBSPDM_ENABLE_CAPABILITY_CHUNK_CAP=1 \
+            -DMBEDTLS_SKIP_TIME_CHECK" \
+            .. ; \
+          make -j8; \
+          popd;
+
+      - name: Build Tock Responder for nRF52840
+        run: pushd tock-responder && make nrf52840_spdm_responder && popd
+
+      # - name: Install RISC-V toolchain
+      #   run: |
+      #     sudo apt-get install -y gcc-riscv64-unknown-elf
+
+      # - name: Build RISC-V embedded libspdm
+      #   run: |
+      #     pushd third-party/libspdm; \
+      #     mkdir -p build_no_std_riscv; \
+      #     cd build_no_std_riscv; \
+      #     cmake \
+      #       -DARCH=riscv32 \
+      #       -DTOOLCHAIN=RISCV_NONE \
+      #       -DTARGET=Release \
+      #       -DCRYPTO=mbedtls \
+      #       -DDISABLE_TESTS=1 \
+      #       -DCMAKE_C_FLAGS="-DLIBSPDM_ENABLE_CAPABILITY_CHUNK_CAP=1 \
+      #       -DMBEDTLS_SKIP_TIME_CHECK" \
+      #       .. ; \
+      #     make -j8; \
+      #     popd;
+
+      # - name: Build Tock Responder for OpenTitan
+      #   run: pushd tock-responder && make opentitan_spdm_responder && popd