Use rust-lld for linking tool on Linux AArch64

Doesn't require a new dependency and still seems to work. Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Oct 3, 2024 · 4c30a38 · 4c30a38
1 parent 7e72f0b
commit 4c30a38
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/.github/workflows/sdk.yaml b/.github/workflows/sdk.yaml
@@ -45,8 +45,7 @@ jobs:
             texlive-fonts-recommended texlive-fonts-extra \
             libxml2-utils \
             python3.9 python3-pip python3.9-venv \
-            qemu-system-arm qemu-system-misc \
-            gcc-aarch64-linux-gnu
+            qemu-system-arm qemu-system-misc
           python3.9 -m venv pyenv
           ./pyenv/bin/pip install --upgrade pip setuptools wheel
           ./pyenv/bin/pip install -r requirements.txt

diff --git a/tool/microkit/.cargo/config.toml b/tool/microkit/.cargo/config.toml
@@ -2,4 +2,4 @@
 # SPDX-License-Identifier: BSD-2-Clause
 
 [target.aarch64-unknown-linux-musl]
-linker = "aarch64-linux-gnu-ld"
+rustflags = ["-Clinker=rust-lld"]