ci: use --release-packaging flag for SDK

Recently added a new flag --release-packaging to build_sdk.py that
makes it easier to build all the SDKs for each target. This is a lot
quicker than calling build_sdk.py multiple times since this will
just build all artifacts once (e.g the kernel, libmicrokit) and simply
make copies of the SDK with a different target for the tool since the
tool is the only host-specific part.

The benefit of this is that for all users of the SDK, regardless of
their host platform, they will be using the exact same artifacts
(expect for the tool of course).

This should cut down CI time a fair bit.

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>

Author: Ivan-Velickovic

.github/workflows/sdk.yaml

@@ -47,8 +47,6 @@ jobs:
           rustup default 1.90.0
           rustup target add x86_64-unknown-linux-musl
           rustup component add rust-src --toolchain 1.90.0-x86_64-unknown-linux-gnu
-          rustup target add aarch64-unknown-linux-musl
-          rustup component add rust-src --toolchain 1.90.0-aarch64-unknown-linux-musl
           sudo apt update
           sudo apt install software-properties-common
           sudo add-apt-repository ppa:deadsnakes/ppa
@@ -73,18 +71,9 @@ jobs:
         run: echo "SDK_VERSION=$(./ci/dev_version.sh)" >> $GITHUB_ENV
       - name: Build SDK (x86-64)
         run: ./pyenv/bin/python build_sdk.py --sel4=seL4 --version ${{ env.SDK_VERSION }}-linux-x86-64 --tool-target-triple="x86_64-unknown-linux-musl"
-      - name: Upload SDK (x86-64)
-        uses: actions/upload-artifact@v4
-        with:
-          name: microkit-sdk-${{ env.SDK_VERSION }}-linux-x86-64
-          path: release/microkit-sdk-${{ env.SDK_VERSION }}-linux-x86-64.tar.gz
-      - name: Build SDK (ARM64)
-        run: ./pyenv/bin/python build_sdk.py --sel4=seL4 --version ${{ env.SDK_VERSION }}-linux-aarch64 --tool-target-triple="aarch64-unknown-linux-musl"
-      - name: Upload SDK (ARM64)
-        uses: actions/upload-artifact@v4
-        with:
-          name: microkit-sdk-${{ env.SDK_VERSION }}-linux-aarch64
-          path: release/microkit-sdk-${{ env.SDK_VERSION }}-linux-aarch64.tar.gz
+  # The macOS run is slightly different to Linux since it also produces the
+  # per-commit builds of the SDK and uploading them to GitHub for all supported
+  # targets.
   build_macos:
     name: Build SDK (macOS x86-64, ARM64)
     runs-on: [self-hosted, macos, ARM64]
@@ -104,17 +93,25 @@ jobs:
         run: nix develop -c bash -c 'echo Hello World'
       - name: Set version
         run: echo "SDK_VERSION=$(./ci/dev_version.sh)" >> $GITHUB_ENV
-      - name: Build SDK (x86-64)
-        run: nix develop --ignore-environment -c bash -c "python3 build_sdk.py --sel4=seL4 --version ${{ env.SDK_VERSION }}-macos-x86-64 --gcc-toolchain-prefix-x86_64 x86_64-elf --gcc-toolchain-prefix-riscv64 riscv64-none-elf --tool-target-triple=x86_64-apple-darwin"
-      - name: Upload SDK (x86-64)
+      - name: Build SDK
+        run: nix develop --ignore-environment -c bash -c "python3 build_sdk.py --sel4=seL4 --version ${{ env.SDK_VERSION }} --gcc-toolchain-prefix-x86_64 x86_64-elf --gcc-toolchain-prefix-riscv64 riscv64-none-elf"
+      - name: Upload SDK (macos-aarch64)
+        uses: actions/upload-artifact@v4
+        with:
+          name: microkit-sdk-${{ env.SDK_VERSION }}-macos-aarch64
+          path: release/microkit-sdk-${{ env.SDK_VERSION }}-macos-aarch64.tar.gz
+      - name: Upload SDK (macos-x86-64)
         uses: actions/upload-artifact@v4
         with:
           name: microkit-sdk-${{ env.SDK_VERSION }}-macos-x86-64
           path: release/microkit-sdk-${{ env.SDK_VERSION }}-macos-x86-64.tar.gz
-      - name: Build SDK (ARM64)
-        run: nix develop --ignore-environment -c bash -c "python3 build_sdk.py --sel4=seL4 --version ${{ env.SDK_VERSION }}-macos-aarch64 --gcc-toolchain-prefix-x86_64 x86_64-elf --gcc-toolchain-prefix-riscv64 riscv64-none-elf --tool-target-triple=aarch64-apple-darwin"
-      - name: Upload SDK (ARM64)
+      - name: Upload SDK (linux-aarch64)
         uses: actions/upload-artifact@v4
         with:
-          name: microkit-sdk-${{ env.SDK_VERSION }}-macos-aarch64
-          path: release/microkit-sdk-${{ env.SDK_VERSION }}-macos-aarch64.tar.gz
+          name: microkit-sdk-${{ env.SDK_VERSION }}-linux-aarch64
+          path: release/microkit-sdk-${{ env.SDK_VERSION }}-linux-aarch64.tar.gz
+      - name: Upload SDK (linux-x86-64)
+        uses: actions/upload-artifact@v4
+        with:
+          name: microkit-sdk-${{ env.SDK_VERSION }}-linux-x86-64
+          path: release/microkit-sdk-${{ env.SDK_VERSION }}-linux-x86-64.tar.gz